If an employer receives demutualization proceeds from an insurer and uses the proceeds to implement a premium holiday for its employees, do the participants have any sort of vested right to the premium holiday? For instance, if an employer implements a premium holiday and a participant leave, does he or she have a claim with respect to the remainder of the demutualization proceeds attributable to him or her? Is there any guidance on this?

Thank you in advance for your insight!