Transitive trie and trie!