Another logic of Executer