Existential_clause loading ...