I suppose a formalized legal language could: - help in quickly testing whether newly drafted laws contradict existing laws(without needing to memorize the exis

I suppose a formalized legal language could: - help in quickly testing whether newly drafted laws contradict existing laws(without needing to memorize the existing legal code) - check for redundancies - checking whether removing one law affects any others - statistically analyze legal systems in different countries Assuming any of those are important issues in law. I'm not sure