odd(s(o)). odd(s(s(X))) <-- odd(X).