to retire; retirement (from work)