no x y = if a then b else c