Here is the complete graphic. Still needs some work…
To see the whole image in detail, you might need to right-click on it and choose “open image in new window”.
Also, a “precondition” is simply a pertinent fact that relates to the chain of logic. At least, I *think* these are facts. 🙂
