Add an introduction; tidy a bit