Writing proof, ready for the pitch