Rules for Elimination