Does formal law systems lead to a fraction of the lawyer work hours and ambiguity in spirit of the law? Been noticing legal LLM tools which have to crunch entire libraries.