So another prof and I are starting a pedagogy library for our department. Here's a start. What should we add?