Definition of Supervisor