placement of associativity/commutativity vectors

[shiffman]

Is this placement confusing?

Feedback: "There's this section about associativity and commutativity on vector addition, but it's actually at the end of the subtraction system. It didn't throw me off that much to have it there, but just want to check that's intentional."

[shiffman]

I moved it!