Childrens bedtime story: The dolphins and the shark.