update core.logic to rc2