\[ 
R = P \land Q \land C 
\]