Elimination Chain Rules

→ | λ(ε) Check