[ceph_]

All dolphins are whales. Not all whales are dolphins. It's a square / rectangle situation.

Orcas are indeed dolphins, and also whales.