Logic_inc