Definition of SUPERVISOR.