Implementation of time-limiters. For the time being, it is finished.