S p 2 q 2 (9/29)

S p 2 q 2