I just looked back through parts of Koch's book. He was indeed talking about IIT. The wiki article on IIT is interesting, I didn't realise IIT had such a rigoro

I just looked back through parts of Koch's book. He was indeed talking about IIT. The wiki article on IIT is interesting, I didn't realise IIT had such a rigorous mathematical definition! I'll read further.