1.) (The TTC geometry) Take a look at the map on https://www.ttc.ca/Spadina/About the Project/TTC_System _Map.jsp and define the set of lines to be the set of subway lines {1,2,3,4}, and the set of points to be the set of stations (e.g. Spadina, St. George, etc.). By definition, a point 'lies on' a line, if the corresponding station is a stop of the corresponding subway line. Discuss which axioms of incidence geometry are validated by the TTC geometry and justify your answers. (15 points)