a posse ad esse non valet consequentia - undefined