Added a non-required totality hypothesis.