De esto se deduce que la existencia es una propiedad de segundo nivel, la propiedad "no está vacía".