yes = f x ||| y