Mind reading proofs.