added some LogicLib