p and q implies r