tady neni problem v jedne konkretni zavade, toto je problem systemovy. Z doposud zverejnenych materialu je zrejme, ze vyvoj vyl zamerne uspechavan na ukor kvality, ze veskere hlasene problemy byly zametany pod koberec a inzenyri, kteri problem nahlasili, se dostavali do potizi.Je otazka, zda soucasne testovani dokaze nahradit hluboke problemy na mnoha urovnich, ktere vznikly uz pri uspechanem vyvoji a ktere se mohou ukryvat nekde hluboko v kodu a ktere se realne projevi treba jednou za 1000 letu, tedy nikoli pri testovani, ale az pri realnem provozu.