Choosing between enumeration and "element of"