#174: T-Proof