Implemented "times" and "makeOrderedLeafList"