Colophon

Here ends the book.

It was written with the help of a machine. The text was written in LaTeX. The proofs in it were checked by Lean’s kernel. The prose, the code, and the path to both were drafted in collaboration with Qwen and Claude — which served by turns as scribe, taking dictation; as compilator, searching and assembling; and as commentator, proposing framings I kept or discarded. I remained the author in the one sense that outlives the machine: I am the one answerable for what is here.

Where the words are clumsy or wrong, blame not the compiler nor the models but the author, who is answerable for the rest.