That's the point of well-specified programming languages: To have certainty about meaning, about the outcome. Human languages are garbage at that, there are misunderstandings all the time.