Anagram axiom