Comment by spuz

I like the idea of using a formal language to actually aide development of a law. Similar to how when I code, the compiler will tell me if a default clause in a switch statement is missing or help me consider the edge cases when a value is missing. A formal language can help lawmakers consider edges cases that they might not have thought about initially. It may even help them re-consider the entire purpose of the law from a higher level once they actually experience the reality of putting into language. I don't think every law can be programmed in a formal way but I like the idea that formal thinking can potentially help make better laws.