Certainly agreed, but this is more about refining unconstrained vibe-lawyering (and the resulting misfilings and hallucinations) than automating judgements. Even if we had a perfect steamroller of strong types, there would still be a lot of space for human judgement left in the practice of law.