solved a universe inconsistency
Almost proved the uniqueness