existence qualifier