After a year they came back to me and said that they were...

After a year they came back to me and said that they were 99% sure that the proof was correct.