even(x) := x mod 2 = 0;
odd(x) := x mod 2 = 1;