Elimination vs substitution