../../../../../Prelude/Natural/odd 3