cleaned up the arguments of display_universes for the clock scheduling