implement times and makeOrderedLeafList