So, if all regular retirements occur on the first day of a calendar month, what happens if my saved up leave takes my terminal out past 12 July 2020, my 20-year-mark, but not all the way to 31 July 2020? Do I still get to retire, or do I not have enough time?