In pessimistic eventualities, the failure of (1) are going to be a vital indicator that AI basic safety is insoluble and (two) would be the detail that makes it doable to convincingly display this to others. Our hope is that this may perhaps finally enable us to perform something analogous to the "code overview", auditing our models to possibly