[see also: improve, sharpen, refine, strong]
Theorem 3 can be strengthened by requiring that the ultrafilter $U$ be additionally conservative. [Note the subjunctive be.]
However, a slight strengthening of the hypotheses does give us a regular measure.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z