US Code
CHAPTER 857— RETIREMENT OF CIVILIAN MEMBERS OF THE TEACHING STAFFS OF THE UNITED STATES NAVAL ACADEMY AND UNITED STATES NAVAL POSTGRADUATE SCHOOL
§ 8582. Deferred annuity policy required

Each civilian member, as a part of his contract of employment, shall carry, during his employment, a deferred annuity policy, having no cash surrender or loan provision, in a joint-stock life insurance corporation that is incorporated under the laws of a State and has a charter restriction that its business must be conducted without profit to its stockholders.