martingales

not defined yet