Sample spaces and conditional probability, built just far enough to make Bayes and Monty Hall feel inevitable.