p \iff q