Funny thing is that salary changes with a raise, so technically they'd be < 100% of their promised benefits after July, and past that, who knows?