Add some more exposition to the introduction