P u2194 q p q