"_a posse ad esse non valet consequentia_, you can draw no inference from the possibility of a thing to its reality, but that, in the reverse order, _ab esse ad posse_, the inference is inevitable: if it is, or if it ever has been -- then of necessity it can be."