Ron, here is Tom Bombadil's thoughts on the form (taken from an email): "the form is, actually, a modal modus ponens: If X is possible, then Y is the case (because Y is the/a preconditions for X). X is possible. Therefore Y. Symbolicly

<>X --> Y

<>X

:.Y

__________________
Caleb
Trinity Baptist Church
Spokane, WA