: '''''Note.''' This section is just a collection of fragments from previous discussions. It will need to be rewritten from the ground up.''
+
: '''Note.''' This is a collection of fragments from previous discussions that I hope to use in documenting the cactus graph syntax for propositional logic.