if x then 0 else 1