Title: Proofs and paradigms