HHLogics's Library