Probability with Martingales