p -> q