What does it mean to define X1 and X2 directly? Well, X1 needs to be a function that takes a number `n` as argument and returns `true` if `n` is even and `false` if `n` is not even. So X1 must have the behavior of the `even` function. Fortunately, it's easy to write such a function without using any fixed-point combinators...