if (if 1 = 2 then true else false) then 1 else 2

