3.84.010 Retirement. This section is included in your selections. Eligible employees will be covered in accordance with the applicable laws of the State of Washington and United States.