... understand or know anything of conditional logic, causation, bi-conditionals, contrapositives ... "must be true," basic conditional diagramming, advanced conditional diagramming, chaining conditional diagramming, existential quantifiers, logical indicators ...