Made the abstract much shorter, and removed some of the
philosophising.  Let's keep that to the introduction.