Add examples for all test states.
Add examples for rules.
Preparation for Goto talk.