T-Chain | theorem-style