A computer scientist was selected to prepare summary comments on the Faraday discussion. Much fine work was reported at the discussion. The tools and techniques reported at the conference have made radical improvements over past decades, and those are severally celebrated. Concerns and caveats about the papers are discussed.