Waiting for Proof (Thomas)