Don't need this TODO: campus data only contains tables for enrolled students and "instructors" (who might very well be GSIs in real life).