Anagram logicizing