- added syncronicity restore info
- corrected < to \leq where needed
- changed structure inside subsection a bit #57