P.
->(P,&(\/(E,C),~(&(E,C)))).
->(E,\/(W,T)).
->(C,W).
->(W,S).
