- part theorem now has subordinates processing properly