Trimming the intro

This depends on #5.

I've trimmed the intro down a lot.  This was getting too long and confusing.