The innovation is really Tau Meta Language, which is a specific class of logic that is decidable, self-referential, and supports negation - the 3 characteristics of a definitive language of law. With this we can scale discussions, collaborate, and store and synthesize knowledge and software, etc, since Tau is essentially a blockchain that only stores the rules of the network and the rules of changing the rules. Do drop by the IRC and Telegram channels if you have more questions!