Just imagine it’s a static analyzer or something deterministic that you know reduces bug rate