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