Definition of EXECUTOR