Anagram provablenesses