R implies P xor Q