leaver provisions