Add introduction to paper and reformat file.