They’ve successfully completed employment before dying. Good for them. Retirement cards have spent decades assuming everyone leaves work to play golf and sit in a deckchair. Maybe they do. Either way, ours don’t.