#176: T-Proof