Substitutions and Unifiers