Formal Assignments:
  1.  Straightness on the Sphere
  2.  The Vertical Angle Theorem
  3.  Midterm
  4.  Side-Angle-Side on the sphere
  5.  Group Cone Project