Make conjunctions from equivalences.