@wtgowers I really appreciate the uncomplicated notation you use, like writing (0,0) for the origin instead of vector 0, which it felt like you were initially going to go for.
Is that a conscious decision to make it easier to follow along, or is it for your benefit too, or just a habit?