You shouldn't pat students with horns.