- statement theorem reference material now has nested subordinates