Same with formal languages, the tool itself have greater precision than natural languages, even if the programming language has quirks. If the programmer is not using it perfectly, that doesn't mean that we can just throw a drunk tool at the problem and say both are equal.