Anagram sequents