Definition of Executry