Vain todistettavissa olevat järjestelmät selviävät.