Expanded abstract
Fixed a bunch of small errors
Removed trademark symbols