┌────────────────┐            
│Step1           │   ┌─┐      
├────────────────┤   │ │      
│internal machine│   ├─┤      
│	<$Dummy>       │   └─┘      
└────────────────┘    |       
         |            |       
         |            |       
     ┌─────┐   ┌─────────────┐
     │Step2│   │InternalShown│
     ├─────┤   ├─────────────┤
     └─────┘   └─────────────┘