Thomas revision for summation