eliminations

not defined yet