Proxy chapter (HTTP-to-ES) incomplete
cont.
Proxy chapter: http-to-kb transformation: pseudocode incomplete. kb-to-http not started