The substitution functions are (somewhat) done, next is the global parsing.