Self-driving cars have safety applications, but is it enough to predict if a car will crash? of course not. The answer is that engineering learning models are desperately needed to reason about their assertions and communicate them clearly to humans. …