3.1.11: Swimmers in the Radford College pool