A brief intro on how to add proofs.