summary EXIST