 a small <a
            href="./context-vocab.html#Microtheory">#$Microtheory</a> --
            see the shared note #$AgreementNote) should be true. Making
            the propositions true may require some action or commitment
            of resources on the part of one or more of the <a
            href="./agreement-vocab.html#agreeingAgents">#$agreeingAgents.</a>
            Thus, instances of <a
            href="./agreement-vocab.html#Agreement">#$Agreement</a> will
            usually involve some in