Thanks so much to Thomas Hales and the other members of the Algebra, Combinatorics, and Geometry (ACOG) Seminar at the University of Pittsburgh. I enjoyed presenting there and interacting with everyone on  Nov. 9, 2017.