What additional fact establishes strict inclusion for human and animal?Four Relations Between Universal ConceptsEvery animal is humanNot every animal is humanNo human is animalThey are disjoint