Reduce: [(p → q)] ∧ q] ∧ [(q → p) ∧ p]