Anagram axiomatized