Scratch space — diagrams, half-formed thoughts, things I’m working out. These change often and may disappear without warning. Nothing here is a permalink.