Reingold_TimeFinite_Jan15_21