Probability with martingales