This came up in a discussion thread a few years ago. In response to some thoughts from Danielle Navarro about the importance of model checking, I wrote: This makes me think of an analogy between the following two things: – … Continue reading