Boolean

☞ x ≔ (1 = 0).
☞ y ≔ (1 = 1).
✎ write: x, stop.
✎ write: y, stop.
False
True