[ Tall ] ≤ [ Tall ]

var x := 8 ≤ 7.
 var y := 7 ≤ 8.
 Stdout skrive: x, stop.
 Stdout skrive: y, stop.