num(X).
mod(X, 2).