P C3 ^ Q.