Notes on the Elimination of Conditions