TC -Math Logic