!even X (s (s Y)) -o !even (s (s X)) Y. %exec * !even 0 (s(s(s(s(s(s(0))))))).