Logic Types Of Definitions