Require Reals.
Print Sorted Universes.