Shortened the code somewhat
Added a question to the viewer
Added 'why do we care' to Symmetry
Slide 6: Transitivity