---------      
┌──────────────────────┐  ┌─┐   ┌─┐   ┌─┐   ┌─┐   ┌─┐
│only state b has      │  │b│   │k│   │ │   │n│   │l│
├──────────────────────┤  ├─┤   ├─┤---├─┤   ├─┤---├─┤
│                      │  └─┘   └─┘   └─┘   └─┘   └─┘
└──────────────────────┘    |           |    |       
                            |           |    |       
                          ┌─┐         ┌─┐   ┌─┐      
                          │c│         │e│   │o│      
                          ├─┤         ├─┤   ├─┤      
                          └─┘         └─┘   └─┘      
                                        |            
                                      ┌─┐            
                                      │f│            
                                      ├─┤            
                                      └─┘            
                                        |            
                                        |            
                                      ┌─┐            
                                      │h│            
                                      ├─┤            
                                      └─┘            
                                        |            
                                      ┌─┐            
                                      │i│            
                                      ├─┤            
                                      └─┘