extracted exist operator