No, there -is- something forcing us to do it this way: * distributes over + but + doesn't distribute over *. So if you want to write the distributive property a*(b+c) = a*b+a*c you don't have to use ANY parentheses if you do * before +. And there's no reason why you would try to do it the other way because a+(b*c) != (a+b) * (a+c).