Def_Logic