… and says their constitutional pension protection clause is not an obstacle.