左がCHECK: hop_to_executor MyActor ではなくCHECK NOTなのはなぜでしょう...?