p : p : P^ P aq O crq & 3.