martingale

not defined yet