use existence operator