add operator "Exists"