../../../../../../Prelude/Natural/isZero 2