(ite (<= 1 0) 2 x) | x
