// ...the sum, when evaluated and reexpanded, is the antipode...
ex result = 0;
for (vector<node>::iterator i=counter.begin(); i!=counter.end(); ++i)
// ...the sum, when evaluated and reexpanded, is the antipode...
ex result = 0;
for (vector<node>::iterator i=counter.begin(); i!=counter.end(); ++i)