    the way that this is expressed is to say that PROP is
            considered to _be_ true within the microtheory which
            represents AGR. PROP may or may not be true in reality (or,
            thus, according to <a
            href="./context-vocab.html#Microtheory">#$Microtheorys</a>
            intended to represent reality). <a
            href="./agreement-vocab.html#ist-Agreement">(#$ist-Agreement</a>
            AGR PROP) should not be taken to be a simple specialization
            of <