Law is what you get when you're silly enough to attempt to spec a formal system in an informal language.