. "if n is a natural number and n2 is odd, then n is odd" . . . .