Fixed typos, new conclusion, updated contact info
Switched to boldface for positions (since bar was used for negation)