nt-style: italic;">truth-cls</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
= <span style="font-family: arial; font-style: italic;">truth-classification</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
= (<span style="font-family: arial; font-style: italic;">mod</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>), <span
 style="font-family: arial; font-style: italic;">expr</span>(<span
 style="font-style: italic; font-weight: bold;">L<