"(d.) use shorten write rule that defines even(l) to be true if and only if l is a list of even number" . . . .