Probability Seminar: The distributive law