[ Number ] = [ Number ]

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