a href="./context-vocab.html#ist">(#$ist</a> MT PROP)
            for cases where MT is an instance of <a
            href="./agreement-vocab.html#Agreement">#$Agreement.</a>
            Whereas <a href="./context-vocab.html#ist">#$ist</a> relates
            any particular microtheory to all assertions that happen to
            be true in that microtheory, <a
            href="./agreement-vocab.html#ist-Agreement">#$ist-Agreement</a>
            indicates only those assertions in an <a
            href=".