Anagram extensional