[ Number ] ≠ [ Number ]

☞ x ≔ 8 ≠ 8.
☞ y ≔ 8 ≠ 9.
✎ write: x, stop.
✎ write: y, stop.
No
Yes