motivating example and deduceit sections
merging ethan's fixes
Merge pull request #2 from Ejhfast/design

Changes to the Motivating Example and DeduceIt sections