Make definitions look nicer
Use sort&compress to natbib
Add new property environment