completed f(k)