Changes to intro, killed irrelevant portions of abstract, some changes to tcon semantics (incomplete).