(Q and R) implies P