probability with martingales