Tcs Deduction Rules