Anagram reasoners