Abstract
Say that a net {xi} in a uniform space is strongly Cauchy if
for every pseudometric d, the net {d(xi,xj)} is eventually 0. James
Cooper conjectured and we (John Kennison, Bob Raphael, and I) proved that
a separated uniform space is a limit of metric spaces iff every strongly
Cauchy net converges.