$RESOLV Always in the top reductions -))