An Introduction to Independence for Analysts by H.G. Dales & W.H. Woodin