This first sentence seems redundant here (since you already introduced TK above)