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