Hanya sistem yang dapat dibuktikan yang akan bertahan.