Proof on TNT