Anagram precondition