gm thry 


                          +--------- g
              b           |
a -------- unknown -------+
                          |
                          +--------- g


it's not necessary to assume that logic stops at step b, as if both outputs are the same then the result of the operation can be determined and other process take place.



e.g.

construction project, it may be the case that funds would be needed after building approval to construct a project, and funds would be needed after a permit being denied to pay for an alternative proposal. 

In this case it would be possible to determine that funds would be needed within a short period of time, before knowing the outcome of the application for approval to construct a new building.





application for permission to construct building x


	1. if granted, funds needed for development

	2. if denined, funds needed to develop an alternative project 



conclusion - funds needed soon, this situation can be determined immediately, even though the granted/denined decision had not yet been made.

