Retirement is not redundancy. (16th May 2020)