very minor wording edits to definitions, intro