Changes to the Motivating Example and DeduceIt sections

Mainly for readability and focus. Take a look. I left comments where you were best equipped to make the changes.