davecturner/teaching-counting archive