Should Exist IndexOfficial law in plain language and executable codePublish official law in plain language and an executable representation.