P q p q then