You Can't Make That Pizza, Right?

Every single state can be represented in the encoding. And every state that's possible in the encoding has a meaning in the conceptual model. Rarely do you have perfect fit because often there's a trade-off with perfect fit and like reuse and verbosity. You often have to make it very inconvenient to program in. We talked a little bit about this when we talked about collections.