Lots of fun today: introducing my students to the world of theorems and demonstrations...