I think they have been. My understanding is they have been inferring the thought processes that must have laid behind the formulas written in his notebook, to f

I think they have been. My understanding is they have been inferring the thought processes that must have laid behind the formulas written in his notebook, to find the more general theory. So they had to put quite a bit of work into this themselves.