Anagram proofs