Solo los sistemas comprobables sobrevivirán.