I would love to see this succeed, if only so that their static analyzer can go around detecting vulnerabilities ("loopholes") in all sorts of common laws. Legal

I would love to see this succeed, if only so that their static analyzer can go around detecting vulnerabilities ("loopholes") in all sorts of common laws. Legal 0-days!