Define before?
Define iota
Define set-of-list
Define union
Define intersection
Define difference
Define merge-list
Define merge-sort