flesh out new set theory more