3 ms·ten years from now on there will only be two kinds of laws: programming verifiable law, and others.by est 13y agoten years from now on there will only be two kinds of laws: programming verifiable law, and others.