Comment by black_knight

A human can cite previous published results. I am sure a lot of this development was formalising the prerequisites.