why do you use a parameter in a property function? Shouldn't you just set `U = S.UniversalSet` below?