Portions of this article were taken from my work on Wikipedia (the calculation of creditable service, how other leave is handled, date of first annuity payment, and payouts at death, specifically). Quidam65 (talk) 15:37, 10 March 2019 (EDT)