case/bug: cases should not match like-named cases from other sets.