  We argue that there is a hierarchy of levels describing to that particular
level relevant features of reality behind the content and behavior of
blockchain and smart contracts in their realistic deployment.
  Choice, design, audit and legal control of these systems could be more
informed, easier and raised to a higher level, if research on foundations of
these descriptions develops and sets the formalisms, tools and standards for
such descriptions.
