Anagram axioms