You can take it a step further: until we can model human behavior mathematically, a legal system attempting to regulate that human behavior cannot be modeled in

You can take it a step further: until we can model human behavior mathematically, a legal system attempting to regulate that human behavior cannot be modeled in a mathematical way. In other words, by the time we have consistent laws (in the mathematical sense), "Precrime" could already exist.