7.13.7: Students on campus