if 1|2 = 2&5 then 5 else 7