to retire [ retired ; retired ]