Talk at the Workshop on “A Science of Certified AI” Slides.