Why can the necessary claim “Every human is an animal” fit general possibility?

Modal Propositions: The Eight Simple Modalities

• Because its negation is not necessary but impossible
• Because human and animal are synonymous
• Because necessity and general actuality are identical
• Because it is true only at one time