Exists operation tested