[ Siffra ] - [ Siffra ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ skriva: y, stop.
5