Am I correctly understanding that under the old rule, a pilot who had to contribute to his 401K in order to receive a company match had those contributions figured in as income for his dues calculation, while a different pilot who made the same contributions, but had no company match did not pay dues on his contributions?