If they do have that law, I do not think it would effect IDCC. IDCC has tons of cash. I think they care for themselves more. Chane of underfund pension is low (which I do not believe IDCC have pension system). I think IDCC has 401K plan type (defined contribution) not pension system(defined benefit).