Algebra Substitution And Elimination