Redid intro.  Added erasure semantics.  Added splitting.
fixed typos