Anagram provableness