「二項演算の在り方の問題だ」と主張し、歪ながらも定義を示してくれた方がいらっしゃいましたが、嘘だったのでしょうか？