minor changes to settheory stuff