Proofs in the Patchwork