substitution substitution :)
Substitution is pretty much done