Anagram axiomatizing