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