Anagram axiomatically