John,
Some observations: For any theory of any kind with any logic of any kind,
axioms are always stated in an if-then form. The if-part (shaded) states the
condition, and the then part states the conclusion. Even definitions are
stated as if-then statements in EGs. For example:
"If x=y
List:
I need to amend my previous post explaining my updated candidate for Delta
EGs to "deal with modals" (see underline/strikethrough below). It
still combines
the graphs scribed in R 339:[340r] for representing the actual state of
things (AST) with the "many papers" concept in R L376 for
