Elimination over Reduction@3x | Elimination over Reduction@3x