Eliminator initial working copy
Further work on eliminators, pause
Elimination works