repetition of "executor"