Introduction to Counting and Probability - Summer 2025