ΨK(x)=-exp(ΦK(t;x))t.