Slowly beginning to form a not so foggy understanding of why Zp^x measures come into play.
It wasn't totally clear to me, till now, that (and why) being a Kummer congruent sequence = being the sequence of moments of a measure.
I think in the discussion leading up to A.4.13 I didn't catch that these were measures and moments of measures, only when I read the corresponing part of AHR just now.
It's essentially the same thing you do, but they're just very explicitly about it with measures and moments and notation.
