tweek for core.logic