el is the original model and whose component theory is the
maximal theory over that model. The component model passage between the
logic and model contexts <span
 style="font-family: arial; font-style: italic;">mod</span>
: <span style="font-family: arial; font-weight: bold;">Logic</span> &#8594; <span
 style="font-family: arial; font-weight: bold;">Model</span> and the
free logic passage <span
 style="font-family: arial; font-style: italic;">log</span>
: <span style="font-family: arial; font-weight: bold;"