progress toward some real clp reductions