removed highlighting for `exists`