A shorter name maybe? `num_enrolled_in` maybe?