I really wish he had said more about III.1 - this is the crux of the ZK methodology (at least for me).