Elimination over Reduction | ← RBDS Applications