What Counts As A Lap In A Swimming Pool