The Proof Assembly