エイトトラップが商標登録されましたが、大先生は勿論エイトトラップはかなり前から使っていらしゃったんでしょね。