Proof of the Contingent and The Necessary