- got part theorem nested subordinate working