Consulting On Verification Of Tkbvtc-Dt