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