Feedback

Integrate Lauer's initial feedback on lit review and intro. Resolve merge conflicts with DM's revision branch.
Okay, maybe just put a comment above the previous mention.

Or we might do this by putting an invisible cross-reference on this line to the previous mention; if the previous mention is deleted it will then cause a compile error.