∧ Elimination