The differential operator in part b is the infinitesimal generator of the auxiliary diffusion process , with killing rate . The Feynman-Kac formula therefore givesEquivalently, Itô's formula makes a local martingale under these dynamics; under appropriate growth and integrability assumptions it is a martingale, whose terminal conditional expectation yields the same formula. The expectation uses the drift- law, rather than the physical drift- law in part a. This is risk-neutral pricing.