in practice that's either going to use unambiguous language or it's going to need human help or verification. The former doesn't exist in human languages (we'd

in practice that's either going to use unambiguous language or it's going to need human help or verification. The former doesn't exist in human languages (we'd otherwise have gotten rid of the lawyers long ago), and the latter is infeasible. There is a another way.