missing existencial operator