P q 3 p q 6 (26/48)

P q 3 p q 6