Alternate Definitions for PeakTime

include archived terms