Replacing the proximate genus by a remote one, while keeping the differentia, yields:

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm