Anagram provably