54 years after I was mystified trying to parse the use of "student" for this, here is the answer. Cool!