6.3.2 Elimination