Q is necessary for P.