Natural language is ambiguous. Specifying exactly what you want in a way that is truly verifiable is the act of coding.