a posse ad esse nonvalet consequentia - undefined