exists operation