Title: Narrative and proofs