explicit keyspace existence predicates