If whales are necessarily mammals, then a theory committed to whales is automatically committed to m...