Sketch of #18.