Definition:

martingal