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