Cleaned up introductory discussion on reasoning.