Vitalsource Technologies, Inc. Feynman-kac Formulae