Substitution and evaluation work.