I'm guessing it's the same way you ensure that your code implements a specification written in English.

But at least you know the specification is consistent.