ab esse ad posse (valet consequentia) - undefined