eliminated some unnessecary universe level equalities