ΨK(x;k)=k-exp(kΦK(t;x))t,