TC Verification