Proof-of-Control paper - latest build

Rebuilt by CI from master on every merge that touches the paper. Download main.pdf below.