let var x := 11 in x := x - if x <> 10 then 1 else 11 when x >= 9 do x := 3 x = 3 x > 3 x < 3 end