Remote genus plus a distinguishing property yields:Definitions in Logic: Complete and Incomplete Ḥadd and RasmComplete ḥaddIncomplete ḥaddComplete rasmIncomplete rasm