Title: Theory of Substitutions