Tell us what you are going to force the Thinker to think today so your Prover goes about proving it to be true. Share that in the comments below.