Everyone building a software factory wants the same proof