Probability With Martingales