Proof-for-Deep-Though