Dirichlet-to-Neumann comments on Review: Structure and Interpretation of Computer Programs