Well, they are there to learn after all, he didn’t assume his students knew, and asked if they did. One guy in the class knew. Seems like it’s working itself out, and he just needs to keep that one loaded for later in the semester when people are primed to get it.