Williams Probability With Martingales