7.18.4: Unknown students and msucians