Reworked Trie to use Insist