Fix extra year line
Nuke the build folder instead
Write about usefulness of formal proofs