added more LogicLib