if 1|2 then 3&7 else 4