TC Verification-2022