Substitutions, Theory of. |