A Deferred Proofs