for UN being Universe holds Trivial-addLoopStr in MidOpGroupObjects UN