Anagram proving