established f(K)