Adding a bunch of stuff Benedict told me to copy-paste from our paper on sequence graph theory. Still don't think it's sufficiently explanatory, and it switches to we for everything.