7.3: Basic Probability Theory