Moves section on reduction to counting classes.