Definition of Elimination