Sets have automatic names