,--------.  ,-----------.
|{{      |  |{{         |
|--------|  |-----------|
|state b |  |rectangle b|
|a -l-> b|  |a -l-> b   |
|}}      |  |}}         |
|        |  |           |
`--------'  `-----------'