[stuartcr]

Yes, but is it really a confirmation of that happening?

[agere_contra]

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.