Paper.

- Take into account comments by Thomas.
- There's a lot of lines marked as TODO. Folks, please grep for them 😸