Code in the form of proof.  No wait...