>an error case). Functions that do not take attribute bags as arguments may >still need to recognize the special case of an empty bag. Can you give an example of such funcition? That is declared to take a singleton value, but must recognize an empty bag? (Java example would be a method that takes a single value doStuff(String foo) but must also recognize when passed in an empty array String[] which is illegal, and what is exactly the point. )