Have to say that the papers by Nakajima is really high level, not just stating the definition, proposition and proof, but like talking.
But I really need to learn, what are all these instanton counting, vertex function about, before I can understand what's going on.