Notes

Working notes: ideas, sketches, and small results that are too early for a paper but worth having in the open.

Nothing here yet.