Editor Emeritus

**Posts:** 2528

**Joined:** December 31, 1969, 08:00:00 PM

**Location:** Mass, USA

### Editorial and new words

Backing my way into how it could possibly mean such a thing, I *think* the basic idea comes from something related to the following Wiki entry:

(Not the Mac software package!)

https://secure.wikimedia.org/wikipedia/ ... 28logic%29

Quoting:

...

"# If after applying a resolution rule the empty clause is derived, the original formula is unsatisfiable (or contradictory), and hence it can be concluded that the initial conjecture follows from the axioms.

# If, on the other hand, the empty clause cannot be derived, and the resolution rule cannot be applied to derive any more new clauses, the conjecture is not a theorem of the original knowledge base."

...

Put simpler, taking a propositional rule, keep trying it until it has been checked totally. But then someone changes the rule, so your previous work is mostly useless, and it has to be checked all over again.

Thus for stories, off you go happily writing. Then you discover your alien race has to be *either* reptilian *or* telepathic, but for weird story reasons, not both. So then per Dan, you go back to the Setting O' The Tale, and "res-edit" it to make it fit.