p ; CL - p : a • crq : 2;