Existentiell related domains (2)