Title: simplifying set theory