for UN being Universe holds Trivial-addLoopStr in GroupObjects UN