Anagram extensionality