Exceptions
Substitution tree insertion