->(&(T,P),&(R,S)).
\/(P,Q).
->(&(R,S),P).
&(P,T).
