Fix the goddamn proof.
Add copyright.