<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">"""<br>I'm thinking along the lines of your side note that propositions have<br>many proofs (polyphenism) and agents have many identities (robustness).<br>"""<br><br>Thank you for that connection, I hadn't thought about it. It is the<br>polyphenism that I typically find most exciting about proofs, the way<br>proof of a single well-defined proposition may find many expressions,<br>that a new proof of a known result can provide insight into unfamiliar<br>domains. For instance, last vFriam I mentioned my first encounter with<br>Furstenberg's proof of Euclid's famous proof, and how it provided me my<br>first real insight into point-set topology.<br><br>"""<br>So when we do this authentication and attempt to retain self-sovereignty,<br>we're simply inferring some sort of *signature* that is as unique as<br>their "soul", but is not a structural analogy to their (unique) soul.<br>"""<br><br>That's how I understand Stephen's proposition, but I don't really know.<br></div></div>