Title: Proofs in the Patchwork