Ḍāḥik is the proximate differentia of human in the book.

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm