More work on beginning of identification between time and counting; strengthened earlier stuff on number