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. 🙂
![tree](https://www.evernote.com/shard/s56/sh/7528f430-77bf-41ad-a63d-0192fe274e3c/3a5a71544b4c5621/res/bcc24dc2-9ee4-4800-9b2b-3879ed84b6b8/defense%20v2.png?resizeSmall&width=832)