Anagram axiomatisation