Anagram axiomatize