On uniqueness of names in JSON objects.
Source moved.