What grounds necessity in “If Zayd is human, he is an animal”?

Conditional Propositions: Connectives, Disjunctions and Their Main Kinds

• Zayd’s name has many letters
• The propositions appear on the same page
• Animality being unrelated to humanity
• Animality is the genus included in humanity