Elimination over Reduction@2x | Elimination over Reduction@2x