This will be a talk for the CUNY Logic Workshop on May 2, 2014. Abstract. I shall introduce a natural strengthening of Kelley-Morse set theory KM to the theory we denote KM+, by including a certain…