Anagram logicist