Was that the shortest retirement in history?