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