logic_lib
