[Socrates] An Introduction to Manifold, May 8