swimming and diving in a lake .