SMS dit: The Atiyah-Singer index theorem