Matching with
Two or More List Arguments
l
Some functions have more than one list
argument.
l
Induction might, or might not, use rules
that dichotomize both lists.