structural:expansion
Non-associativity

Subtraction is non-associative, which comes up when one tries to define repeated subtraction. In general, the expression

can be defined to mean either (a − b) − c or a − (b − c), but these two possibilities lead to different answers. To resolve this issue, one must establish an order of operations, with different orders yielding different results.