KB EXISTS