Spring is the time of year when even normally diligent students (and even some faculty) start struggling to pay attention.