Definition:

martingals