Student enrolled in Professor Henningsen's class