first AGITTOC pseudolecture June 27, 2020 (see math216.wordpress.com for more on the AGITTOC experiment) Also a first stab at playing with this technology.