E1 and E2 Elimination

TODO