I'm not really a fan of the form `if (not p) then x else y`. I think `if p then y else x` tends to be easier to read.