[ Tooj ] - [ Tooj ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ sau ntawv: y, tsum.
5