abridge a time