Prettified formatting & added abstract

Lots of formatting changes from “prettification”; oops