[ Tau ] - [ Tau ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ tuhi: y, kati.
5