Kant lite ...

... Can and Kant, in which the Sage of Königsberg laboriously descants on the axiom that you cannot argue from non-existence to non-possibility.