integrate subterm-nested into thesis