logic/logic library