The campaign against Larry Summers succeeded.