fixed #12
- renamed annotations
- made it a subsection of comments
- refined a bit a rule and its example