[ Number ] ≤ [ Number ]

☞ x ≔ 8 ≤ 7.
☞ y ≔ 7 ≤ 8.
✎ write: x, stop.
✎ write: y, stop.
No
Yes