q(?_?)p q(=.=)p