Time gained, much gained.