Allow undefined entities
Use existential operator to simplify