┌───────┐  ┌───────────┐
│{{     │  │{{         │
├───────┤  ├───────────┤
│state b│  │rectangle b│
│a -l> b│  │a -l> b    │
│}}     │  │}}         │
│       │  │           │
└───────┘  └───────────┘