Every type you have written so far is a promise about data. Data from the network never signed that promise. This lesson closes the gap between compile time and runtime.