Closing in on Proof