   In general, let L be a truth language and M be a ground model for L. An hypothesis is a function h : D → {t, f}. A hypothesis will in effect be a hypothesized classical interpretation for T. Let's work with an example that combines Examples 2.1 and 2.3. We will state the example formally, but reason in a semiformal way, to transition from one hypothesized extension of T to another. 