Law being described in very precise, verifiable terms, such that "in the spirit of the law" is an executable test and assumptions made are automatically verifiable. This means that irrelevant laws can be identified much faster and law can keep up with technology.