K : a T :a