Pre-Annotated Proofs