> Because many of the costs of their irresponsible practices are externalized. I'm sure that that's true in at least some important cases. I don't see what it

> Because many of the costs of their irresponsible practices are externalized. I'm sure that that's true in at least some important cases. I don't see what it has to do with formal verification.