Coverage of any person under the system ends when the person ceases to be a state employee.
1963 c 383 s 10; Ex1967 c 57 s 9; 1986 c 444; 1987 c 229 art 6 s 1