Time gained, much gained.
Unknown