''We live in a world in which no one knows the law.''
Ohad Asor, Sept 11, 2016
I continue herewith with sharing my contemporary state-of-grok  of the up to now four  scriptures of the aka newtau . Sorry for the delay, but it comes mostly from the efforts to contain the outburst of words, catalyzed by the very exegetic process of such a rich content, into a reader-friendly shorter form.
The subject of vivisection textographically identifies as the first three paragraphs of ''Tau and the Crisis of Truth'', Ohad Asor, Sep 11, 2016 .
The four core themes extracted are ennumerated bellow, with as modest as not to sidetrack the thought and to not spoil the original message, streak of comments of mine.:
As I guy who's immersed in Law for more than quarter of century  I can swear with both hands on my heart in the notion of unknowability of Law.
Since my youth years in the law school  I was asking myself how it is possible at all to have 'rule of law'  in case any legal system ever known required humans to operate !?
It seemed that the only requisite or categorcal difference between mere arbitrary 'rule of man'  and the 'rule of law' was that in some isolated cases some ruling men happened to be internally programmed by their morals  to produce 'rule of law' appearance effects by 'rule of man' means.
Otherwise 'rule of law' done via 'rule of man' poses extremely serious threats of law to be used by some to exploit and harm others.
In that line of thoughts my conclusion was that the Law is ... yet to come.
What we know as Law is not good networking protocol software of mankind as such, but rather we see comparatively rare examples of individually well programmed ... lawyers.
On the wings of a technological breakthrough, just like: flying came with the invention of airplanes and moonwalk needed the advent of rocketry, or to remember without to stay alive - the writing. The Law is an old dream. If we judge by the depth of the abyss of floklore - one of the humanity's most ancient dreams, indeed. Needless to repeat myself that this was what sucked me into Tau as relentlessly as a black hole spagetification  :)
The referred by Ohad frustration by Law of the great Franz Kafka  expressed in his book The Trial  becomes very understandable for Kafka's epoch lacking the comforting hope in a technology which we already have - the computers - and the overall progress in the field of logic, mathematics, engineering ... forming a self-reinforcing loop centered around this sci-tech of artificial cognition.
Similarly to the nuclear fusion, which is always few decades away, but the Fusion gap closes noticeably nowadays , we are standing on the cliff of a Legal gap.
The mankind's heavy involvement in cognition technologies, especially in the last several decades, outlined multiple promising directions of further development, which seem to bring us closer to abilities to compensate the fundamental deficiencies of Law and in fact to finally bring it into existence.
It took entire Ohad Asor, however, to identify the major reasons why the Law is bottlenecked out of our reach yet, and to propose viable means to bridge us through that Legal gap... The other side is already in sight.
It is in the first place the language to blame !
The human natural language . Our most important atribute as species. The mankind maker. The glue of society. It just emerged, it hasn't been created. It has rather ... patterns, vaguely conventional, than intentionally coined set of solid rules. There ain't firm rules to change its rules, either ... The natural human language is mostly wilderness of untamed pristine naked nature, dotted here and there with very expensive and hard to install and maintain ''arteftacts'' . Leave it alone out of the coercion of state mass media, mass education and national language institutes and it falls back into host of unintelligible dialects. Even when aided by the mnemonic amplifier which we call writing.
Ambiguity is characteristic of the natural language, a feature in poetry and politics, but a deadly bug in logic and law.
We'll put aside for now the postulate of impossibility of a single universal language to revisit it later when its exegetic turn comes. In another chapter onto another scripture. Likewise, not in this chapter we'll cover the neurological human bottlenecks which are targetted to be overcome by Tau. Lets observe the sequence of author's thoughts and to not fast forward.
Instead of that I'll dare to share with you my own hypothesis about why the natural human languages are so. (I'm smiling while I type this, cause I can visualize Ohad's reaction upon reading such frivolous lay narrative. I hope he being too busy will actually not to.) To say that the human languages are just too complex does not bring us any nearer to decent explanation. Many logic based languages are more than a match of the natural human ones in terms of expressiveness and complexity. It shouldn't be that reason.
My suspicion is rather that the natural human languages pose such a Moravec hardness  for being not exactly languages. Languages are conveyors of meaning. Human languages convey not meaning, but indexes or addresses or tags of mind states. The meaning is the mind state. Understanding between humans is function of not only shared learnt syntaxi, but also of shared lives. Of aggregation of similar mind states which to be referred by matching word keys.
If this is true it is another angle for grokking the solution of human users leaning towards the machine by use of human intelligible Machinish, instead of Tau waiting the language barrier to be broken and machines to start speaking and listening Humanish.
In a nutshell we yet wait the Law to come cuz Law is not doable in Humanish. Bad software. And the other side of the no-law coin is that the humans are no cognitive ASICs . We do congnition only meanwhile and in-order-to do what other animals do - to survive. Bad hardware.
In order law to become law it must become handsfree .
Not humans to read laws, but laws to read laws.
The technology to enable that looks on an arm's length.
Ok, so far we butchered the law and the language. What's left?
The nature and essence of human language brought one of the most harmful and devastating notions ever. Literally, a thought of mass destruction.
The ''crisis of truth''. The wasteland left by the toxic idea spilover of ''there is no one truth'' or even ''there ain't truth'' at all. This is not only abstract, philosophical problem. Billions of people actually got killed for somebody else's truth.
Not occasionally the philosophers who immersed themselves into this pool are nicknamed 'Deconstructivist' . Following back their epistemic genealogy, we see btw, that they are rooted rather in faith than in reasoning, but this is another story.
The general problem of truth, of which the problem of law is just a private case, opens up two important aspects:
Number one, is that all knowledge is conjectural to truth and that, truth is an asymptotic boundary - forever to close on but never to reach. Like speed of light or absolute zero. Number two, is that human languages make pretty lousy vehicles to chase the truth with.
If really words are just to match people's thoughts together, then there are thoughts without words and words without thoughts. Words mismatch thoughts, so how to expect they to bridge thoughts to things? Entire worlds on nonsensical wording emerge, dangerously disturbing the seamless unity of things and thoughts. Truth displaced.
''But can we at least have some island of truth in which social contracts can be useful and make sense?''
This island of shared truth is made of consensus  bedrock and synchronization  landmass.
Thuth and Law self-enforced. From within instead of by violence from without. And in self-referenial non-regressive way.
''We therefore remain without any logical basis for the process of rulemaking, not only the crisis of deciding what is legal and what is illegal." 
Peter Suber with his ''The Paradox of Self-Amendment: A Study of Law, Logic, Omnipotence, and Change''  proposed a rulemaking solution which he called Nomic .
''Nomic is a game in which changing the rules is a move.'' 
The merit of Nomic is that it really eliminates the illths of the infinite regress  of laws-of-changing-the-laws-of-changing-the-laws, ad infinitum, by use of transmutable self-referrenial rules. But Nomic suffers from number of issues - the first one, in the spotlight of that chapter, being the fact that we still remain with the “crisis of truth” in which there is no one truth, and the other ones - like sclability of sequencing and voting - we'll revisit in their order of appearance in the discussed texts.
The aka 'newtau'  went past the inherent limitations of the Nomic system and resolves the 'crisis of truth' problem.
The next few chapters will dive into Decidability and how it applies to provide solution to the problems described above.
 - https://en.wikipedia.org/wiki/Grok
 - https://steemit.com/tauchain/@karov/tauchain-exegesis-intro
 - https://steemit.com/tauchain/@karov/tauchain-exegesis-the-two-towers
 - http://www.idni.org/blog/tau-and-the-crisis-of-truth.html
 - http://www.behest.io/
 - https://steemit.com/blockchain/@karov/behest-for-tauchain
 - https://en.wikipedia.org/wiki/Rule_of_law
 - https://en.wikipedia.org/wiki/Tyrant
 - https://en.wikipedia.org/wiki/Morality
 - https://en.wikipedia.org/wiki/Spaghettification
 - https://en.wikipedia.org/wiki/Franz_Kafka
 - https://en.wikipedia.org/wiki/The_Trial
 - https://www.amazon.com/Merchants-Despair-Environmentalists-Pseudo-Scientists-Antihumanism/dp/159403737X
 - https://en.wikipedia.org/wiki/Language
 - https://en.wikipedia.org/wiki/Official_language
 - https://steemit.com/blockchain/@karov/tau-through-the-moravec-prism
 - https://en.wikipedia.org/wiki/Application-specific_integrated_circuit
 - https://www.etymonline.com/word/manipulation
 - https://en.wikipedia.org/wiki/Deconstruction
 - https://en.wikipedia.org/wiki/Consensus_decision-making
 - https://en.wikipedia.org/wiki/Synchronization
 - http://legacy.earlham.edu/~peters/writing/psa/index.htm
 - https://en.wikipedia.org/wiki/Nomic
 - https://en.wikipedia.org/wiki/Infinite_regress
 - the illustration is a painting courtecy of the author Georgi Andonov https://www.facebook.com/georgi.andonov.9674?tn-str=*F
Guys, after a few articles , , .  - I think I owe you to present a little bit myself and Behest.io , .
I, Karov, am a human, i.e. I'm not robot ( although, my friend @trafalgar is a witness, once I fought all day long with a google form Captcha, but I prefer to blame a software glitch for that ... ).
I occasionally understood that 'karov' is the word for 'near' in Hebrew, but this is pure coincidence.
I'm a lawyer. More than two decades of uninterrupted PQE . In couple of European jurisdictions.
Behest.io is a ... firm. In the sense of :: firm (n.) , or in the very original sense as any firm's only way to be - a signature. Not in the sense (yet) of a legal personhood entity.
As a signature Behest.io is a tool. My tool, which I continuously develop to deliver answers  upon behests  for compliance to various crypto endeavors.
Metaphorically, the Behest.io tool dev target is: if a law firm is a CPU , Behest.io to be crypto legal services ASIC .
Blockchain came too swift, too strong and too global. Like an alien invasion. Legislators and law enforcement can not keep pace. Law and regulations are far from being definite on it.
It is entire internet of jurisdictions out there. Nobody really knows the Law. One can not just go out and shop answers. There is no legal supermarket with neat shelves of turnkey solutions with price tags.
The compliance space is turbulent. Nothing is ready and definite. Very high risk a grey zone to turn red hot. Quicksand minefield.
Crypto lawyer job is not yet an industry, it is inevitably art and craftsmanship. Tailored solutions.
Thus Behest.io is a studio , not conveyor belt mass factory.
Our approach in support is: side by side, thinking together, carefully map the routes ahead, identify the correct questions and precisely craft specific solutions.
On tailored case by case basis. In strict confidence. In all the time dynamic and adaptive fashion. In real time. From entry to exit. All the way navigation from mere idea to end.
So far it sounds like just another advert... I know. But, let me quickly throw some Behest.io preconditional points in an attempt to start sketching the bigger map:
FIRSTLY.: Why ''of Tauchain''?
Since my law school years back in the past millennium I noticed that the Law in all its dimensions.: legislature, legislation, application, enforcement, science, jurisprudence, doctrine ... is somewhat inconsistent and not quite self-sufficient.
I'm now firmly on position that the place of Law is not with the soft sciences of history and literature but among the hard sciences of maths, logic, philosophy and physics.
If we compare the social rules set with a human network protocol code, the Law up to now is obviously not quite automatic and requires too much 'hand drive'. Including, in the rules to make rules, too.
I tried to envision (with my limited tech knowledge), all this quarter of century, various ... systems which eventually could compensate such flaws: virtualization, procedural generation, gamification ... and then Satoshi came. And Ohad Asor appeared.
If we compare our intention and dream of Law with flying - since times immemorial humans wanted to fly like birds, but it took Wright Bros  we to fly ... not like the birds do.
I must herewith admit that closest to my heart are two technological projects.: Tau  and ET3 . They form kinda ... unity, but on that - other times, in series of other posts.
Ohad Asor in his Sep 10, 2016, 8:25 PM essay  very precisely outlined the problem of Law:
''We would therefore be interested in creating a social process in which we express laws in a decidable language only, and collaboratively form amendable social contracts without diving into paradoxes. This is what Tau-Chain is about.''
Exactly! The problem of Law is that it is written in inherently buggy natural human language 'software' and is run on human brains 'hardware' which is faulty for this, for being 'made' to optimize performance of completely other category of tasks. Like ... survival.
We can achieve Law by these means - human natural language and human brains - not more successfully than we could walk from here to the moon.
Tau is the most solid grounded and promising effort to deliver our long dreamed 'rocketry' to take is from here to the Law.
If Law is decidable code, it is specifiable, all intended consequences predictable and granted. Decidable, consistent ... and self-amending. Precisely what the Law is supposed to be. At last. If it is specifiable in exact terms, action code is synthesizable out of it, to feed the legal effectors of all kinds with precise instructions.
Because our societies map to our communications , drastic improvement of our interactions rules is equivalent of immense improvement of the human condition.
The Law as a Tapp (Tau App)? Most definitely. I know no other attempt the issue to be addressed in such a way of pure reason and demonstrated understanding.
This is the reason behind ''for Tauchain'' part of this post's title. It can get us there. We can have the Law, at last.
This is in the Behest.io and mine best selfish interest. Which is: a world of unimaginable freedom and wealth for all.
Behest.io in that sense is ''for Tauchain'' for the perspective the Tau to become ''for Behest''. Realization of my lifetime Legum  project.
Behest.io is not of Tauchain, or of IDNI. It is an independent project of an independent lawyer, with strong current focus on Tau and ET3. Because of the outlined above reasons. In series of upcoming articles I intend to elaborate on my visions and positions on these in general.
SECONDLY.: How exactly is supposed Behest.io to operate before the Tau is in our hands to play with?
All by the books, of course! Legal profession is for compliance, but also it is all about compliance per se. Not just compliance makers and shippers, but must-be compliant the lawyers themselves. Lawyers are strictly local and heavily regulated profession. As it should be.
Not only no lawyer knows all law, but there is not such a thing as global or universal license to provide legal services. Regardless of the 'professional services provider' Big Four  or other hierarchic collab structure - a lawyer is limited to operate only on the territory which his professional 'badge' granting regulator says.
From the other hand Internet and Blockchain are inherently global and penetrate and permeate all jurisdictions as easy as neutrino passes through a planet.
My plan to deal with this ''license to kill (the problems)'' inter-jurisdictional professional license issue is simple:
Quick assembly of full professional license coverage teams. In bespoke to project way. Ad hoc. Where and when needed.
The idea is ... if Behest.io is a screen and the solutions - images on it, the backend machinery of professionals and other resources to be freely reconfigurable and developed and expanded on demand all the time, without the client to be bothered to grok anything else but what's on the screen.
This resembles the aka B2B2X  telecom services business model which is conceptually so new that it does not have a wikipedia article, yet.
So all professional services colleagues welcome to join! In whatever forms we together see fit in every particular occasion.
I'm sure some really groundbreaking fusions will come out of this collab direction alone!
More posts on Behest.io biz philosophy to come.
Logo by CapitanArt
Enlaces / Links
Logo by CapitanArt
Archivos / Archives
Suggested readings to better understand the Tau ecosystem, Tau Meta Language, Tau-Chain and Agoras, and collaborate in the development of the project.
Lecturas sugeridas para entender mejor el ecosistema Tau, Tau Meta Lenguaje, Tau-Chain y Agoras, y colaborar en el desarrollo del proyecto.