[MattGaiser]

They might only know that it is not calculating some sentences correctly. That does mean they have figured out little more beyond "we know it is wrong."