Closed mcr closed 2 years ago
> The section title of "Integrity Protection" seems narrow given the > content of this section.
Peter brings up Integrity of the Integrity system --- there are additional leaps of faith (lemmas), which we need to believe to the integral. Many which we can not go into in this document.