Since 403(B) plans are not subject to being top-heavy, can I safely conclude that 403(B) plan balances are not used in determining whether or not other DC plans of the employer are top-heavy?