掛け算順序論者には、(a + b) + cとa + (b + c)の意味論を定義してほしい