"?? Third, allowing officers to retire at half pay after 20 years of service, and forcing them to retire (in most cases) at some point between 24 and 32 years, is a waste of human skills and money." . . . .