a < a < a
(i div p <= j div q <=> i * q <= j * p )
L --> x = L --> [x]
f a <= f a <= f a
m # #
D A b
a if b then c else d
a when b
a then b
a else b
a when
a then
a else