Anagram axiomatization