Elimination over Reduction | Applications