Era jueves, y los colegiales externos estaban en sus casas.