top of page

Search Results

Results found for empty search

  • Agile Management in Technology Lawyering

    Lawyers in the 21st century, are no longer limited to court galleries, nor their acumen and approaches to real-life problems affected by digital technologies can be traditional. Today’s lawyers must act like consistent conflict managers, who would use their clarity of first principles in legal theory to provide real-time, stage-conscious, risk-sensitive solutions. A theory of law and economics , differing from the decades’ old Keynesian and Newtonian economic thought models, now calls for complex adaptivity in lawyering. In fact, when legacy institutions become either dysfunctional or overburdened, lawyering solutions to address legal problems related to digital products and services, would surely go beyond the usual ways of addressing liability and rule of law concerns. Even auditing and compliance, as simplified or complicated it may seem, shapes the regulatory approaches of governments and enables mobility in solving problems.

  • The IP Rights of Artificial Intelligence

    In this article, I have discussed about a recent trend being pushed by various marketing firms, law scholars and industry players about the interesting problems surrounding around this similar notion that intellectual property rights, which are granted to humans, governments, companies or any proper legal entity, can be granted to artificial intelligence systems and technologies . There may be some proper arguments in the favour of the proposition, in the fields of technology and jurisprudence. However, my view is that the evolution of the digital technologies such as AI (or even AI-integrated) which we exemplify, have still not been a part of that saturation to promote the possibility of granting such rights. This article can be considered as a counter-propositional article to begin on this question of recognition of IP rights of AI systems and technologies.

  • Arbitrability of Smart Contract Disputes in India

    DISCLAIMER: The contents of this blog article reflect the personal views of the author alone and do not constitute the views of any of the author’s affiliated organizations. The contents of the blog article cannot be treated as legal advice under any circumstances. The use of smart contracts as opposed to paper based traditional contracts continues to increase in commercial activity and practice. With the advent of Web 3.0 technologies, smart contracts may become a standard form of contract since the characteristics of automated self- execution, operability on a decentralized blockchain and speedy execution of contractual obligations are more suitable to the needs of commercial transactions, and as well as for eliminating breaches in day- to day commercial transactions. However, the possibility of disputes exist in every contractual transaction and smart contracts are no exception to it. Considering that the regulation of smart contracts is at a nascent stage across jurisdictions, with India, having no legal framework at place, the idea of resolving smart contract disputes in a Civil Court is still implausible. But, at the same time, the possibility of solving smart contract disputes through arbitration is feasible due to the possibility of party autonomy in several crucial aspects such as choice in law, choice of forum, choice of procedure and the like, to be applied in the arbitration proceedings. Therefore, this blog attempts to examine the arbitrability of smart contract disputes in India with an aim to expose challenges and provide solutions in the current legal framework that may pave a path to better arbitrability of smart contract disputes in India. Understanding Smart Contracts A smart contract is an agreement between two or more parties in the form of computer codes which automatically executes either a portion or the entire contract between parties on the fulfilment of pre- determined parameters that have been added to the code. The execution of smart contracts happen on a blockchain network for which transaction fees referred to as “gas fees” are paid by the executing party. Since the idea of having smart contracts was to alleviate breach of contract, smart contracts are irreversible. In order to illustrate in a better way, a diagram with an example is being provided below: The diagram above showcases an example of a transaction of sale of goods by the manufacturer to the wholesaler using a smart contract. However, smart contracts in the practical sense tend to be more complex involving pre- determined parameters for aspects such as non- acceptance of delivery, delay in transportation, termination of contract and the like. Nature of Smart Contract Disputes Now that a basic idea of smart contract transactions along with an example has been discussed, it is important to discuss the nature and manner in which smart contract disputes may arise. Contrary to the general perception, although smart contracts self- execute on pre- determined parameters, the scope of breach of contract is quite high. Disputes may arise on account of error in the code leading to non- execution, change in law resulting in illegality of contract, defect in goods or deficiency in service and many more similar reasons. Due to this, it is necessary for an adequate dispute resolution mechanism to be used for resolving smart contract disputes. Arbitration is the most-suited dispute resolution method for smart contract disputes since blockchain arbitration as well as standard arbitration methods already exist and are being used in few jurisdictions to solve disputes arising out of smart contracts. On perusal of Diagram 2 above, it is easily inferable that blockchain arbitrations are conducted on the blockchain itself where adjudicators referred to as “jurors” arrive at a decision on the basis of majority voting and where the enforcement of the award takes place on the blockchain itself. The enforcement of the award on the blockchain itself is achieved by ensuring that the parties deposit an escrow amount on- chain. Blockchain arbitrations may not be legally recognized in several jurisdictions and are often viewed as reducing party autonomy and snatching the expert element away from arbitrations since majority voting by jurors is the criteria for reaching at a decision. Standard off- chain arbitration is the traditional arbitration process where the dispute is resolved before an Arbitration Tribunal (which can either be a physical or a virtual Arbitral Tribunal) by Arbitrator(s) appointed by the parties and the enforcement of the Arbitral Award is made by a Civil Court having jurisdiction. However, when it comes to smart contract disputes, even standard arbitration has its own set of issues such as the non- recognition of smart contracts as a valid contract in many jurisdictions and problems related to enforceability of an Arbitral Award solving a smart contract dispute. Identifying Legal Challenges from the Indian Perspective Essentials of Contract and the Consideration Conundrum In the Indian context, to determine the arbitrability of smart contract disputes, it is primarily necessary to examine if smart contracts can be treated as valid contracts. Section 10 of the Indian Contract Act, 1872 stipulates the essentials of a valid contract. On perusal of the Diagram above, it is easily understandable that the essentials of a valid contract under the Indian Contract Act, 1872 is that there must be parties competent to contract, a legitimate offer and acceptance, free consent of parties entering into the contract, lawful consideration, lawful object and the contract must not expressly be declared as void. In the Indian context, smart contracts can certainly have competent parties to contract, legitimate offer and acceptance, free consent of parties, lawful object and the contract would also not expressly be declared as void, but the challenge arises in the portion of meeting the requirement of lawful consideration. The colossal reason for the consideration involved in smart contract transactions not being treated as lawful is because of the use of cryptocurrency as consideration in smart contract transactions. Initially, the Reserve Bank of India had banned banks and financial institutions from dealing in cryptocurrencies, but this was subsequently reversed by the Supreme Court of India. Vide the Finance Act, 2022 direct tax on transfer of cryptocurrencies were introduced. However, this is more or less a temporary arrangement up till the introduction of the Central Bank Digital Currency which will impose a blanket ban on all other forms of cryptocurrencies and only legalize the Central Bank Digital Currency introduced by the Reserve Bank of India. For the present moment lack of express legalization of cryptocurrency in India exists but once the Central Bank Digital Currency is introduced, its use as consideration in smart contract transactions will be treated as “lawful consideration”. Until then, the consideration conundrum may continue because of manifold interpretations and lack of clarity. Impossibility of Stamping of Smart Contracts Under Indian law, there is an express requirement of every contract to be stamped as per the provisions of the Indian Stamp Act, 1899 read with the provisions of the State law for stamping enacted. Even though the Supreme Court of India has emphasized that although unstamped contracts are curable, but in the occasion of Arbitral Tribunals and Civil Courts coming across unstamped contracts, they have to impound such unstamped contracts and require parties to pay Stamp Duty. This may entirely be impossible in terms of smart contracts since smart contracts are executed on the blockchain itself and are intrinsically irreplicable, making them impossible for stamping as per the Indian Stamp Act, 1899 or as per the State stamping laws. Non-Recognition of Blockchain Arbitration Indian law does not recognize blockchain arbitrations because of the entire legal system having been created for accommodating dispute resolution of paper- based and written contracts. Furthermore, blockchain arbitrations may not involve oral hearings and may also not permit additional pleadings to be made, resulting in the violation of principles of natural justice. This is why, for the moment, the possibility of blockchain arbitration in the Indian context may be a far- fetched idea. Governing Law, Choice of Procedural Rules, Venue, Seat of Arbitration, Appointment and Qualifications of Arbitrators Traditional paper-based contracts and electronic contracts commonly have governing law, choice of procedural rules, venue of arbitration, legal seat of arbitration, appointment and qualification of arbitrators incorporated as a part of the contract itself. However, this may not be the case when it comes to smart contracts since parties may often opt for blockchain arbitration wherein the dispute is solved as well as enforced on the blockchain itself with the help of escrow deposit made at the time of initiation of the dispute and a voting “jury” system. In the Indian context, this may prove to be challenging since the entire mechanism of blockchain arbitration is not legally recognized. Power of Judicial Authority to Refer Parties to Arbitration Defeated on Procedural Ground Section 8 of the Arbitration and Conciliation Act, 1996 confers a judicial authority (including a Civil Court) to refer parties to arbitration where an application is made. However, a mandatory procedural condition imposed is that an original or duly certified copy of the arbitration agreement has to be furnished along with such application. This can prove to be an impediment when it comes to smart contracts since smart contracts are executed on the blockchain and intrinsically irreplicable and therefore, to be able to provide an original or duly certified copy of the arbitration agreement may not be possible unless and until an arbitration agreement was signed off-chain. Issues in Enforcement of Arbitration Award The above Diagram explicates the issues which currently exist in the enforcement of arbitration awards solving smart contract disputes in India. The first extant issue is that Article II of the New York Convention requires that a valid arbitration agreement needs to be in writing. Smart contracts can be in code as well as natural language form, but in case the smart contract is entirely in code, then it may not be treated as a valid arbitration agreement under the New York Convention. The second extant issue is that similarly, Section 7 of the Arbitration and Conciliation Act, 1996 also requires that an arbitration agreement needs to be in writing which may lead to non- recognition of smart contracts entirely in code. The third extant issue is that Section 47 of the Arbitration and Conciliation Act, 1996 requires that during enforcement of a foreign award, the original arbitration agreement or a duly certified copy of the original arbitration agreement has to be presented before the Civil Court. As pointed out, this is not possible in relation to smart contracts unless and until an arbitration agreement is entered into between the parties separately off- chain. The fourth extant issue is that in case an Arbitral Tribunal passes an Award directing certain remedial action to be taken on the blockchain itself, it is unclear if the Civil Court enforcing the Award has the power to order such remedial action to be undertaken on the blockchain to the blockchain network provider since the blockchain network provider is neither obligated by Indian law to do so, nor is the blockchain network provider a party to the smart contract. It is indeed true that the parties have to accept the terms and conditions (in the form of an electronic contract) of the blockchain network provider while availing their services, but that in itself would constitute a separate contract. Furthermore, Section 36 of the Arbitration and Conciliation Act, 1996 also stipulates that enforcement of Award has to be done as per the Code of Civil Procedure, 1908 as if it was a Decree passed by a Civil Court. For foreign awards, similar provisions exist under Sections 48 and 49 of the Arbitration and Conciliation Act, 1996. Due to these provisions, immense difficulty may arise for the portion of the Arbitration Award to be executed on- chain (on the blockchain) since there exists no mechanism permitting the enforcement of Award on the blockchain itself. Solving Legal Challenges in the Arbitrability of Smart Contract Disputes in India Now that several extant issues in the arbitrability of smart contract disputes have been discussed, it is necessary to solve such legal challenges under Indian law which are hampering the arbitrability of smart contract disputes in India. Due to the inherent nature and development of Indian jurisprudence, it may not be possible to legalize blockchain arbitration for the moment. However, this does not mean that parties in smart contract disputes should be left remediless. Therefore, this part of the article is dedicated towards explicating solutions and suggestions that can permit smart contract disputes to be solved under the current law of arbitration in India. Dealing with the Consideration Conundrum Section 23 of the Indian Contract Act, 1872 stipulates what considerations are lawful. In case a form of consideration is forbidden by law, by its nature defeats the provisions of any law, is fraudulent in nature, involves or implies injury to property or person of another or if it is deemed as immoral or opposed to public policy by a Court, then such form of consideration would be treated as unlawful. Cryptocurrency does not defeat the provisions of any existent Indian law, is not fraudulent in nature, does not imply injury to property or person of another and has not been deemed as immoral or opposed to public policy by a Court. Furthermore, for the moment, cryptocurrency is not expressly forbidden by law either, but it seems that Indian law is certainly heading towards that direction with the idea of the Central Bank Digital Currency. This would mean that in case parties enter into smart contracts with a choice of governing law as India, and the change in law forbidding cryptocurrencies except the Central Bank Digital Currency occurs, then parties would not be able to initiate arbitration since such contract would become void on account of illegal consideration under Section 23 read with Section 24 of the Indian Contract Act, 1872. Even if an arbitration is initiated and the change in law occurs after that, parties would still face tremendous difficulties in enforcing such arbitral awards since it would be challenged and may even be set- aside by Indian Courts for being in contravention to fundamental public policy of India under the Arbitration and Conciliation Act, 1996. Therefore, up till the introduction of the Central Bank Digital Currency (since the legalization of other forms of cryptocurrency seems to be highly unlikely) it would be on the more commercially viable side, for two Indian parties or even foreign parties with disputes in India arising out of smart contracts to choose a foreign seat of arbitration and a foreign governing law with a venue of arbitration as India in order to avoid any form of difficulties to initiating arbitrations or enforcing awards made for smart contract disputes. Solving the Issue of Stamping of Smart Contracts Since the provisions of the Indian Stamp Act, 1899 are based completely for traditional paper- based contracts, they are redundant when applied in the context of smart contracts. The need for solving the issue of stamping of smart contracts arises out of the fact that stamping entails the collection of Stamp Duty for the Government and would lead to Revenue loss in case robust provisions for stamping of smart contracts are not introduced. Furthermore, as pointed out above, the Supreme Court of India has laid down that Arbitral Tribunals and Civil Courts (during enforcement) are required to ensure that parties cure any defects of unstamped agreements by the payment of Stamp Duty and therefore, in spirit has affirmed the mandatory nature of stamping of contracts. Although the long-term goal should be to introduce a blockchain based stamping system, looking at the current ground realities, the Indian Government may be few years away from developing such a system. In order to ensure that stamping does not become an incurable defect for smart contracts, the e- stamping facility could come to the rescue. The buyer in the smart contract transaction or the seller (only if expressly agreed upon in the smart contract) can pay the necessary Stamp Duty using the e- stamping facility. However, in order for this to happen, the Indian Stamp Act, 1899 and its corresponding State stamping laws will have to specifically confer recognition of “instrument chargeable with duty” to smart contracts and also include them in the Schedule prescribing the Stamp Duty payable. Once this is done, the buyer or the seller (if specifically agreed upon in the contract) can pay the applicable Stamp Duty prescribed through the e- stamping facility. This way, even if it is found during arbitration proceedings or enforcement of award proceedings that Stamp Duty has not been paid, it will remain as a curable defect which can be rectified by the concerned parties. Solving Issues Pertaining to Governing Law, Choice of Procedural Rules, Venue, Seat of Arbitration, Appointment, Qualification of Arbitrators and Enforcement of Arbitration Awards As opposed to traditional paper- based contracts or even electronic contracts for that matter, aspects such as governing law, choice of procedural rules, venue, seat of arbitration, appointment of arbitrators and qualification of arbitrators may not be included in smart contracts as a matter of standard practice due to its reliance on blockchain arbitration that is not legally recognized in India. Considering that these aspects play a vital role in standard off- chain arbitrations, there are two ways in which parties to smart contracts can deal with the issue. The parties could opt to implement only the transactional portion through a smart contract code and have a natural language electronic contract or a natural language paper contract as an arbitration contract that will contain governing law, choice of procedural rules, venue of arbitration, seat of arbitration, appointment and qualification of arbitrators. This will enable parties to initiate arbitrations and enforce the arbitration award without any difficulty and parties can even freely choose between ad- hoc arbitrations or institutional arbitrations as per their requirements. Alternatively, the parties could include governing law, choice of procedural rules, venue of arbitration, seat of arbitration, appointment and qualification of arbitrators in the smart contract itself and permit the intervention of an Arbitral Tribunal acting as a blockchain oracle when a dispute arises. A blockchain oracle is an entity that connects the blockchain with external data sources allowing inputs and outputs from external sources to the blockchain as well as vice versa. In other words, it is the mechanism through which a blockchain can interact with external data sources. In order to explicate as to how an off- chain Arbitral Tribunal can act as a blockchain oracle, a diagram has been provided below: On perusal of the diagram above, the first step in the process of Arbitral Tribunal as a blockchain oracle is that the smart contract needs to be coded with predetermined parameters that would constitute a breach of contract. Without this, the possibility of automated initiation of arbitration would not be possible. This means the parties would have to agree in advance in respect of the factors that would constitute as a breach of contract. In case the breach of contract arises out of a technical issue in the blockchain itself or the smart contract, then the respective contracts of the parties with the blockchain network provider will have relevance and separate legal action will have to be taken by the aggrieved party against the blockchain network provider. The second step is that the notice for commencement of arbitration will have to be sent manually by the party initiating arbitration and this is extremely crucial since Section 21 of the Arbitration and Conciliation Act, 1996 stipulates that the commencement of arbitration would be deemed to be the date on which a Notice or request for arbitration is received by the responding party. However, since the provision begins with “unless otherwise agreed by the parties”, the parties can specifically agree that the date of commencement of arbitration should be the date on which the smart contract sends an automated email communication to the Arbitral institution or Arbitrators, as the case may be for appointment of an Arbitral Tribunal. Once the smart contract sends an automated email communication for constitution of the Arbitral Tribunal as per the number and qualifications of Arbitrators as agreed upon by the parties, the third step would be to conduct the arbitration proceedings off- chain as per the governing law, procedural rules at the seat and venue of arbitration agreed upon by the parties. Now, the pertinent question which would arise is what would be the ideal governing law, procedural rules, legal seat and venue of arbitration. Although there are no issues for parties to agree for the venue of arbitration in India, since Indian law is not completely equipped for arbitrating smart contract disputes, issues may arise for parties if they decide to choose Indian law as the governing law and India as the legal seat. More suitable governing laws and legal seats would be jurisdictions, who have at least some forms of legal recognition conferred to smart contracts. The United States of America, United Kingdom and Italy are jurisdictions which have laws in place for smart contracts and blockchain whereas jurisdictions such as Estonia and the United Arab Emirates seem to be moving towards such legal recognition. Parties could opt for the respective governing laws and legal seat based on their requirements and the intricacies of the impugned transactions. As far as procedural rules are concerned, the JAMS Rules Governing Disputes Arising Out of Smart Contracts and the United Kingdom Jurisdiction Taskforce Digital Dispute Resolution Rules are two of the most commonly known procedural rules for smart contract arbitrations. However, since the idea is to make Indian law a preferred legal seat and choice of law for parties to smart contract disputes, it is necessary that primarily, insertions in clause (3) of Section 7 of the Arbitration and Conciliation Act, 1996 have to be made. Under Section 7(3), a proviso could be added to state that natural language or even fully coded smart contracts should be treated as “agreements in writing” for better clarity. Furthermore, it is of utmost necessity that specific principal legislation on smart contracts is also legislated. A specific enactment for smart contracts is mainly necessary to ensure that Government authorities, Courts, Arbitral Tribunals and statutory auditors are able to seamlessly interact with the smart contracts on the blockchain network as oracles in order to carry out the verification of existence of smart contracts, to reduce the insurmountable difficulties to furnish smart contracts as evidence and also, to ensure that outcomes of disputes expressed in the form of Judgments, Decrees or Awards are reflected in the smart contract. Such principal legislation would also be necessary to assign legal definitions to terms such as “smart contract”, “blockchain” and the like. Introducing specific legislation for smart contracts would also help in solving the dilemma under Section 8 of the Arbitration and Conciliation Act, 1996 which mandatorily requires parties to furnish an original arbitration agreement or a duly certified copy of the arbitration agreement since then, a mechanism for Civil Courts to verify the existence of the smart contract would be made possible. Principal legislation on smart contracts would also have legislative competency since Entry 7 of the Concurrent List (List III) of Schedule VII of the Constitution of India stipulates concurrent powers of the Union of India as well as the States to legislate on matters pertaining to contracts including special form of contracts. Coming back to Diagram 5, the last part is where the Arbitration Award is passed by the Arbitral Tribunal and the portion of the outcome which cannot be enforced on the blockchain is enforced by a Civil Court as per Section 36 of the Arbitration and Conciliation Act, 1996 read with the provisions of the Code of Civil Procedure, 1908 and Sections 48 and 49 of the Arbitration and Conciliation Act, 1996 for foreign Awards. However, when a certain portion or the entire Award has to be executed on the blockchain itself through an inbound oracle, then the same Sections 36, 48 and 49 would create impediments since the express requirement is for enforcement to be done by a Civil Court. Therefore, in order to make Indian arbitration law compatible for smart contract disputes, it is necessary that provisions are introduced in the Arbitration and Conciliation Act, 1996 explicating enforcement of Awards on the blockchain alongside the standard route of enforcement through Civil Courts. Additionally, the requirements of furnishing the original arbitration agreement under Section 47 of the Arbitration and Conciliation Act, 1996 for enforcing a foreign award can also be solved by the principal legislation on smart contracts discussed earlier, coupled with necessary amendments to Sections 47 which will permit the Civil Court (in case of off- chain enforcement) to verify the existence of smart contract. Conclusion From the discussions made in the preceding paragraphs, it is manifestly clear that several qualms do exist in the arbitrability of smart contract disputes in India which can be eliminated by way of necessary insertions and amendments and as well as through introduction of specific principal legislation on smart contracts. However, till that time, in order for parties in smart contract disputes to not be rendered remediless, parties may choose to solve their disputes through arbitration choosing a legal seat and governing law of a jurisdiction with a recognized legal framework for smart contracts as discussed above, up till the time relevant changes are brought under Indian law to make smart contract disputes arbitrable in India.

  • Law 3.0 and Soft Law: Beyond Uncertainty

    Some legal concepts are general, while many are not general. The latter of the concepts are designed to shape the economic, administrative and sometimes, political priorities of the systems we live with. In this article, let us deconstruct the idea of “Soft law” to understand in basic terms, the ideation behind creating hybrid legal concepts and regulatory systems in the contemporary times we live in.

  • The Legal "Status" of AI: How, why and where

    This is the first blog dedicated to the ideas my team and I developed at the Indian Society of Artificial Intelligence and Law in the last 2 years .

  • Book Review: "The Network State" and How it Redefines Statehood

    In this article, I review a quite thought-provoking book authored by Balaji Srinivasan , the former CTO of Coinbase . This book, as proposes - is named as “ The Network State ”. Interested people can purchase or read the book for free.

  • Integrating the Taxonomies of Law & Coding using Catala

    As technology continues to advance at an unprecedented pace, the legal industry has been struggling to keep up. Lawyers and legal scholars have been grappling with how to address the legal and ethical issues arising from the use of emerging technologies such as artificial intelligence and blockchain. One potential solution is to integrate the taxonomies of law and coding. What exactly does that mean? Well, let's start with a taxonomy. In the context of law and coding, a taxonomy refers to the language and categories used to describe legal concepts and technological concepts, respectively. By integrating these two taxonomies, legal experts can better understand how technological systems function and how they can be regulated, while coders can better understand the legal and ethical implications of their work. For example, consider the use of artificial intelligence in the legal industry. AI systems can be used to analyze vast amounts of legal data, identify relevant case law, and even assist with legal drafting. However, these systems also raise a host of legal and ethical issues. For example, how can we ensure that AI systems are unbiased and do not perpetuate existing biases in the legal system? How can we ensure that AI systems do not violate privacy rights or other legal protections? By integrating the taxonomies of law and coding, legal experts can better understand the inner workings of AI systems and identify potential legal and ethical issues. Coders, in turn, can work to develop AI systems that are designed with these issues in mind, ensuring that they are compliant with applicable laws and regulations. Interestingly, there is a paper that addresses this aspect, introducing a programming language for legal documents. It is called Catala. "Catala: A Programming Language for Legal Documents" is a recent paper published on arXiv by Pierre-Louis Gottfrois and his colleagues. This paper discusses how Catala can help bridge the gap between legal and technical experts and provide a framework for creating legal applications that are more efficient and accurate. We all are aware that the text of the law is regarded as a set of rules and to turn that into the program, challenges were faced by legal professionals and developers when attempting to create legal applications. The legal language is complex and nuanced, making it difficult for non-experts to understand and apply it effectively. Additionally, the lack of standardization in legal language and the variations in a jurisdiction can cause further confusion. To address these challenges, the author introduces Catala, a programming language that is designed specifically for legal applications. The language is intended to be more accessible to legal professionals while still providing the flexibility and precision needed for technical development. As proposed, the language is designed to be human-readable, allowing legal professionals to write rules in a format that is familiar to them. The language also includes built-in features such as variables, functions, and logical operators to allow for more complex legal rules to be written. The authors argue that the use of Catala can help prevent errors and inconsistencies, which can have as it makes natural and easy to express the general case with an expectation that permeates statutory law. This article offers a critical evaluation of the paper's contribution to artificial intelligence governance. What is Catala? The paper "Catala: A Programming Language for the Law" proposes a new domain-specific programming language called Catala, which is specifically designed to handle legal text. The authors argue that traditional programming languages are often unsuitable for dealing with legal concepts and can lead to errors and inconsistencies in legal documents and software applications. Catala aims to address these issues by providing legal professionals with a tool that is easy to use, accurate, and reliable. The paper begins by outlining the challenges of working with legal text. The legal text is often complex and contains a large amount of jargon and technical language that can be difficult to understand. Furthermore, the legal text is subject to change over time, which can make it difficult to maintain software applications that rely on legal documents. These challenges make it difficult for legal professionals to create accurate and reliable software applications that rely on legal text. The authors then introduce Catala as a solution to these challenges. Catala is designed to be easy to learn and use, with a syntax that is similar to natural language. This makes it easier for legal professionals to write and understand code. The language also includes a number of features that are specifically designed to help reduce errors and improve the accuracy of legal documents. One of the key features of Catala is its ability to handle legal concepts such as time, events, and obligations. These concepts are often difficult to represent in traditional programming languages, which can lead to errors and inconsistencies in legal documents. Catala provides a number of features, such as natural language expressions, that make it easier to represent legal concepts accurately. Another important feature of Catala is its ability to handle legal uncertainty. Legal text often contains ambiguity and uncertainty, and traditional programming languages are not well-suited to handling these issues. Catala includes features that allow legal professionals to represent uncertainty in a clear and consistent way. Before going into the programming language we have to understand the structure and logic how the laws are written and the way they are written is very different from the control flow that we use in the programming language (Figure 1). As the law in a way it is written it frequently changes the meaning of the previous definitions and then re-interprets in a very complex way that is way beyond the control flow of any other programming language. The Purpose & Use of Catala The authors provide several examples of how Catala can be used. One example is the creation of legal chatbots. Chatbots are becoming increasingly popular in the legal industry, as they can help to provide legal advice and support to clients. However, creating chatbots that are accurate and reliable can be a challenge. Catala provides a framework for creating legal chatbots that are accurate, reliable, and easy to use. An example is from Section 121, US Internal Revenue Code (in Figure 2) which has to do with how much of the proceeds of the sale of a house are exempt from taxes the general structure is that the law enumerates the conditions under which this exclusion can be applied but then also follows it up with a number of conditions which either modify or nullify this exclusion. The point is that you cannot simply read the first paragraph of the law which specifies a straightforward dollar amount for the exclusion and understand the entirety of it. You have to read the entire statute because paragraphs further down will change the meaning of this paragraph and the conditions under which it is applicable. For example, the next paragraph in Figure 3 modifies this first paragraph in place and says that under certain conditions the exclusion can be more than what was specified in this first paragraph. Further paragraphs get more and more complicated into corner cases of exclusions and conditions and this is a very common pattern in the way laws are written in a way. Following this pattern of writing the general case first and then specifying all the special cases after that this kind of logic is called default logic. The variant that laws most commonly use is known as prioritized default logic where you have default values guarded by conditions and then a number of special cases. Let's take a look at the language itself. The very first thing we have to do is encode the things (refer Figure 3) before we get to the issue of how things are computed. If you take this tax law example in Figure 3, you may understand that we have to encode things like time periods with starting and ending dates. We also have to encode money in terms of the gains from the sale of that residence and then we have to encode certain conditions. At this point these are all just declarations (refer to Figure 4). This looks very verbose but that was an explicit design choice. Why? The syntax in Figure 4 was designed in close collaboration with lawyers and they preferred more verbose keywords which improved readability; for them it was very important that Catala is understandable for lawyers. Once we get past the declarations of things like time periods and amounts of money, the next two important concepts in Catala are scope and context. A scope roughly outlines the law's structure and the context tells us that various values are to be determined later depending on the exact context intuitively. Scope of any law or legal instrument can be thought of as functions and contexts can be thought of as parameters and local variables. The example of the law in Figure 5 shows how scope of a legal instrument is framed. This syntax explains the conditions that a single person needs to satisfy. To get this exemption the syntax mentions the requirements on ownership and requirements on usage. Also, if both of those requirements are satisfied then the requirements for this context are fulfilled. Looking at Figure 5, it seems we have an executable rendition of this part of the law if you provide the inputs which in this case are "gain from the sale of the property" and the "various time periods" of your occupation & residence. Catala's interpreter thus will compute the amount to be excluded from your income. Since, the interpreter takes on the task of doing a control flow analysis and assigning values to variables in the correct order, finding cycles would be an error because the law is not supposed to have cyclic reasoning. As the programming language is still being developed it is necessary that feedback analysis would help to improve the use case of the programming language. Now, below I have made a syntax based on the Section 54 of the Income Tax Act, 1961 (India), which is merely an attempt to make it executable inspired by the code related to the Section 121 of the US Internal Revenue Code of 1986. Further inspiration could be inferred to the resources I could find on GitHub. Let's understand how the syntax works. program Section54TaxDeduction; rule Section54DeductionApplies( property: ResidentialProperty, salePrice: Currency, purchasePrice: Currency, dateOfSale: Date, dateOfPurchase: Date ) { // Check if the property is a residential property require property.isResidentialProperty(); // Check if the property was held for more than 2 years require dateOfSale >= dateOfPurchase.addYears(2); // Calculate the capital gain on the sale of the property let capitalGain = salePrice - purchasePrice; // Check if the capital gain is greater than zero require capitalGain > 0; // Calculate the amount of deduction that can be claimed under Section 54 let deductionAmount = min(capitalGain, amountInvestedInNewProperty()); // Print the amount of deduction that can be claimed println("You can claim a deduction of " + deductionAmount + " under Section 54."); } function amountInvestedInNewProperty(): Currency { // Calculate the amount invested in a new residential property // This function should return the amount invested in the new property by the taxpayer // within the specified time limits as per Section 54 of the Income Tax Act // This can include the cost of the property, as well as expenses incurred on the transfer of property // For example, stamp duty, registration fees, legal fees, etc. return 0; } Now, this program defines a rule called "Section 54DeductionApplies" that takes in the necessary inputs for determining whether a taxpayer is eligible for a tax deduction under Section 54 of the Income Tax Act, 1961. The rule checks if the property is a residential property if it was held for more than 2 years, and if the capital gain on the sale of the property is greater than zero. If all conditions are satisfied, the program calculates the amount of deduction that can be claimed under Section 54 and prints the result. The program also defines a function called "amount Invested In New Property" that calculates the amount invested in a new residential property by the taxpayer within the specified time limits as per Section 54 of the Income Tax Act, 1961. This function should be implemented to return the correct amount invested by the taxpayer in a new property. Please note that this is just an example program, and it may need to be modified or extended to suit the specific requirements of a given situation. Additionally, it is important to consult with a qualified tax professional or legal expert to ensure compliance with all applicable laws and regulations. Figure 6 (that is Figure 16 from the main paper) shows some promising results from a user study undertaken among lawyers. The stats show that lawyers are able to understand the kind of code they were asked to read this code with much convenience. In fact, most of them said yes. They were also asked if they can associate the code to the meaning of the law. Again, most of them said yes. When they were asked if they could certify whether the code does exactly what the law says, the answers were kind of mixed. Yet, the authors hypothesized that it could be because these questions were put to a group of French lawyers whereas the law they had encoded was part of the US Tax Law regime. As a case study, the authors encoded all of the "byzantine French family benefits" in Catalan (the programming language) and provided a web interface. On top of it they were able to verify the output of the Catalan implementation against the official state-sponsored simulator and found no issues. However, they did find one discrepancy and that pointed to a bug in the official state-sponsored simulator which was later fixed. This was a quick look at this new programming language which is claimed to encode laws and the default logic that it is based on. Perhaps, the use of a language like Catala could be possible in a technical and procedure-oriented area like Taxation Law, which is why the Section 121 example is quite relatable. Concluding Review In conclusion, the paper does outline the benefits of using Catala. From a glance that I could have at the paper, this programme language certainly has the potential to reduce errors and inconsistencies in legal documents; it can also improve the accuracy and reliability of legal software applications. Furthermore, Catala can help to reduce the time and costs associated with creating and maintaining legal software applications. While Catala is still in its early stages of development, the authors believe that it has the potential to transform the way legal professionals work with legal text, which is appreciated. Perhaps, the paper could benefit from more critical evaluations of the potential limitations and challenges of using Catala in legal practice. For example, the paper does not address the potential difficulties in implementing Catala in legal practice, such as the need for legal professionals to learn a new programming language. Additionally, the paper does not provide an evaluation of the performance of Catala in real-world legal scenarios.

  • Release of the 2021 Handbook on AI and International Law

    Today, the 2021 Handbook on AI and International Law was released by Hon’ble Justice JR Midha (Retd.). This release event was conducted by the Indian Society of Artificial Intelligence and Law. This handbook, co-edited by Manohar Samal MCIArb, me and others spanned 26 different international law domains where we tried to address how these global trends meet. It was discussed why India needs to build its own indigenous technology standards and how that can be achieved like it is being tried with the Digital India Act. It was a riveting panel with Bogdan Grigorescu, Ish Jain, FCIARb, FHKIArb, FMIArb, SFBiam, FPD, FAIADR, Akash Manwani and Sanad Arora. Thanks Aditya for co-hosting. The recording of the discussion is available here at https://www.youtube.com/watch?v=eQ2ZIJe7ZtY The books are available for purchase at https://rzp.io/l/8rK4mx3

  • Testing the Viability of Central Bank Digital Currencies

    Advancing technology and a growing trend towards peer-to-peer transactions facilitated by online platforms has ushered a revolution in the field of digital payments. Even the Central Banks want to exploit these new technological developments and are investigating the technology of ‘Central Bank Digital Currency (CBDC)’ to use it as a medium to not only proliferate the space of digital payments but also make it accessible to the public at large and expedite the payments and settlements mechanism for retail and wholesale payments . More than 60 Central Banks are researching on the use of CBDC’s in their economy, with countries like China, Sweden, Canada and the U.K launching pilot projects. [1] But astonishingly, it is the smaller countries such as the Caribbean, Bahamas and Cambodia which are leading the charge on CBDC’s with live projects such as Bahamas Sand Dollar, Bakong Cambodia, and Eastern Caribbean DCash [2] . Taking into consideration, the rising consensus towards the use of CBDC’s for advancing the economy, even the RBI is exploring the use of CBDC’s, and has already started working on a pilot project, with plans to launch its own CBDC by the end of 2022 [3] . Amidst all these developments, it is imperative that we don’t stay blindsided to the potential pathbreaking impact CBDC’s can have on the functioning of the payments and settlements system and the economy. Through this article, the author makes an attempt to apprise the readers of the fundamentals of the technology and partake in an analysis discussing its pros and cons.

bottom of page