implemented isValidExecution