Thread:Carloscreate100/@comment-24764132-20180207064348

You don't need to label everything as a minor universe, we already have a category for that called "Supporting universes" 