Anagram demonstrability