def contains_tr(list, item):
    """
    Return whether the list contains the given item.  (Naturally
    tail-recursive.)
    """
    if list == ():
        return False
    else:
        head, tail = list
        if head == item:
            return True
        else:
            return contains_tr(tail, item)