Clarify design constraints for arbitrary ID feature.