Adds title; adds references; adds definitions; several clarifications.