「ほら、こういうケースで数理論理は必要不可欠でしょ」をとりあえず明示していただければ良いのに、何故しないのでしょうか