if 2 <= 2 then 42