-- cond f x = if x then True else False -- not cond f x = if x then False else True