To establish equality, knowing only that all humans are animals is sufficient.Four Relations Between Universal Concepts