A computer that can be verified.