Competitive Landscape

Ours is a low-overhead, point solution for a specific legal task. It does not compete with any known legal software currently in the market. As such, it easily sits along side any other legal software already present. Its low price point and zero training cost allows for bottom up, organic adoption by individuals and organizations.

It occupies a unique position in what’s becoming a crowded push of generative AI into the legal domain in that it is primarily formal. You don’t converse with it, it doesn’t offer advice or suggest strategies. It is a one-shot transaction from legal texts to deductive decision procedures. The downside of this uniqueness, of course, is that we bare the entire education cost for the market. It isn’t like anything else, except by analogy to tools like calculators and spreadsheets.

No one is working in this areas (that we know of) because it comes from a crossover of several disparate research domains: generative AI for natural to formal language translation; formal logic (including a little alethic modal logic) for expressing the semantics of ordinary language, and digital switching circuit design and verification for the decision procedure (binary decision diagrams). Each of these had to be modified a little to make the combination work.

So it will not be easy for would be competitors to copy the combination. But each of the constituent technologies are public and well-known. And we have no trade secrets except for the way we have put them together. Because of this, we will need to establish a dominant market position before competitors arrive. They may not. But if they do, we cannot depend solely on the uniqueness of our technology.