A non posse ad non esse valet consequentia, logisk slutningsregel, se ab esse ad posse.