yes = fromMaybe (y z) (x z)