I really wait for mathematicians and programmers to start writing laws. The rules are very ambiguous - you can see this even if you're not a lawyer. Maybe the lawyers make such rules for themselves, maybe it's a sincere stupidity. Could programmers rewrite laws using some formal language? Then we could use some algorithms to find all ambiguities and inconsistencies. And above all, we could always know what this law means!