The term weak continuum hypothesis can be used to refer to the hypothesis that , which is the negation of the second continuum hypothesis. It is equivalent to a weak form of ◊ on . F. Burton Jones proved that if it is true, then every separable normal Moore space is metrizable.