false                                                                           loop-condition                                                                                                                                              
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                                                                                                                                                                                                                                                                                       true                                                                                        
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                                                                                                                                true                                                                                                                                                                                                                                          false
                                                                                                                                                                                                                                   inner condition 1                                                                                                                                                               
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                       true                                                              inner condition 2                                                                                                                                                                  false                                                                                                  
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                                                                                                                                                                                                                                                                                                                                                                                   
                                                      1 and 2                                                                                                                                                                                                              1 only