> Oh, so all students are he. I see.

Don't blame me, it's the language. I try to avoid unnecessary uses of he/him, and sometimes "they" works, even if its ungrammatical, but I can't stand "s/he", or randomly choosing "he" or "she" - it's too hard keeping track of whether I'm maintaining a 1:1 ratio. If a short synonym for "he or she" starts getting used, I'll be happy to jump on the bandwagon.