Reingold_TimeFinite_Jan15_28