扱っているものが掛け算a×bか積abかの区別ができないと
順序の明示的な解除などと訳の分からない議論が起こるのだな