completed T(k)