Porpoises don't porpoise too much, but dolphins and seals do.