To establish equality, knowing only that all humans are animals is sufficient.

Four Relations Between Universal Concepts