Title: Substitution Algebra