Implementing "there exists" processing