Postulates and theorems are studied in the context of formal proof. Applications of postulates and theorems in problem solving involving points, lines, planes, triangles, quadrilaterals, circles, and 3-dimensional shapes are emphasized. Statistics topics such as data analysis and basic probability will be studied as well.