These logical constructs or lemmas are confirmation of possibility. Not of actuality. They simply state that "if Event A happened, Event A is possible"
They are useful constructs to use when discussing matters which simply cannot be put under a magnifying glass: e.g. Hillary's moral limits, what sort of miracles Jesus could do, and so on.
36 posted on 10/06/2010 8:32:35 AM PDT by agere_contra
(...what if we won't eat the dog food?)