To save time is to lengthen life.