Some progress with proof that the multi-instanton is an approximate solution.