What is wrong with the following attempt at a contract. The
function definition is given.
%% isOdd(x) takes a number x that was typed by the user and
%% yields true if x is odd, false if x is even.
%% x by itself.
Define
odd(x) = x `mod` 2 == 1
%Define