Public employee means an individual holding a position by appointment or employment in the government of this state, in the government of 1 or more of the political subdivisions of this state, in the public school service, in a public or special district, in the service of an authority, commission, or board, or in any other branch of the public service, subject to the following exceptions:
Company Employee means an employee of the Company or any of its Subsidiaries.
Former Employee means an individual who has severed employment with the Employer or an Affiliated Employer.
U.S. Employee means a person who is an employee of the Company (or of any Subsidiary) for purposes of section 422 of the Code.
SpinCo Employee has the meaning set forth in the Employee Matters Agreement.