Wallis: Existence of HM