If 'human is always animal' is necessarily true, this necessity derives from the essential propertie...