set theory changes