<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Yes, doesn\u2019t matter. Email is a clunky chanel.<div class=""><br class=""></div><div class="">Best,</div><div class=""><br class=""></div><div class="">E</div><div class=""><br class=""><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On May 22, 2020, at 8:52 AM, <<a href="mailto:thompnickson2@gmail.com" class="">thompnickson2@gmail.com</a>> <<a href="mailto:thompnickson2@gmail.com" class="">thompnickson2@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Thank you, ERIC!<o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I KNEW I was going to make that mistake some day.<span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Nick<span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Nicholas Thompson<o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Emeritus Professor of Ethology and Psychology<o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Clark University<o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><a href="mailto:ThompNickSon2@gmail.com" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(5, 99, 193);" class="">ThompNickSon2@gmail.com</span></a><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><a href="https://wordpress.clarku.edu/nthompson/" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(5, 99, 193);" class="">https://wordpress.clarku.edu/nthompson/</span></a><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><b class="">From:</b><span class="Apple-converted-space"> </span><a href="mailto:thompnickson2@gmail.com" style="color: blue; text-decoration: underline;" class="">thompnickson2@gmail.com</a><span class="Apple-converted-space"> </span><<a href="mailto:thompnickson2@gmail.com" style="color: blue; text-decoration: underline;" class="">thompnickson2@gmail.com</a>><span class="Apple-converted-space"> </span><br class=""><b class="">Sent:</b><span class="Apple-converted-space"> </span>Thursday, May 21, 2020 5:50 PM<br class=""><b class="">To:</b><span class="Apple-converted-space"> </span>'The Friday Morning Applied Complexity Coffee Group' <<a href="mailto:friam@redfish.com" style="color: blue; text-decoration: underline;" class="">friam@redfish.com</a>><br class=""><b class="">Subject:</b><span class="Apple-converted-space"> </span>RE: [FRIAM] anonymity/deniability/ambiguity<o:p class=""></o:p></div></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Thank you, David,<span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I need to think about all of this. <span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">A brief early response: There are two things that words do: they stroke and they convey information. AT the core, I think, my authoritarian impatience (to use a word that has recently blossomed in the correspondence on the list) arise when people confuse one use of words for another. When we speak of that of which we cannot speak we are like primates who groom but do not remove any lice. Grooming and being groomed is very nice; but I am really interested in louse removal.<span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Nick<span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Nicholas Thompson<o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Emeritus Professor of Ethology and Psychology<o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Clark University<o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><a href="mailto:ThompNickSon2@gmail.com" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(5, 99, 193);" class="">ThompNickSon2@gmail.com</span></a><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><a href="https://wordpress.clarku.edu/nthompson/" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(5, 99, 193);" class="">https://wordpress.clarku.edu/nthompson/</span></a><o:p class=""></o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><b class="">From:</b><span class="Apple-converted-space"> </span>Friam <<a href="mailto:friam-bounces@redfish.com" style="color: blue; text-decoration: underline;" class="">friam-bounces@redfish.com</a>><span class="Apple-converted-space"> </span><b class="">On Behalf Of<span class="Apple-converted-space"> </span></b>David Eric Smith<br class=""><b class="">Sent:</b><span class="Apple-converted-space"> </span>Thursday, May 21, 2020 5:15 PM<br class=""><b class="">To:</b><span class="Apple-converted-space"> </span>The Friday Morning Applied Complexity Coffee Group <<a href="mailto:friam@redfish.com" style="color: blue; text-decoration: underline;" class="">friam@redfish.com</a>><br class=""><b class="">Subject:</b><span class="Apple-converted-space"> </span>Re: [FRIAM] anonymity/deniability/ambiguity<o:p class=""></o:p></div></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Signal to Nick:<o:p class=""></o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">You commented on wanting to understand the conversation about formalists and intuitionists which I have been using in various conversations with Glen and Jon. Now is the chance to do it at low cost.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Frank has provided two proofs of irrationality of the square root of 2, one formalist (using proof by contradiction requiring acceptance of the law of the excluded middle) a few days ago, this most recent one being constructive, meaning that it constructs a degree of difference that you can point to concretely, rather than concluding from the syntax that there must be such. One gets at the core of anything I was trying to say by looking at these two proofs, and deciding whether one can see what is different in their sense.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">For me, these concrete, super-simple minimal pairs are the mental tools to get at the difference between one style of thought and another. I can then try to decide whether, in some much more difficult context, where it is very hard to be concrete, I think I see the same kind of contrast in style. Since I am too slow to almost ever work out the watertight version of anything, and some of these would be too hard for me to do at all, I don\u2019t even seriously intend to check whether my imagistic impression is reliable. I am willing to use the simple cases I do understand as perceptive filters to try to make some kind of approximate sense of the hard cases, as the alternative to just letting it all go by.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">You commented in one of these emails that you could accept \u201cirreducible\u201d as long as it didn\u2019t mean \u201ccan\u2019t be described\u201d, and I have been thinking over the past days whether I can come down on one side of that or the other. You might also have said, \u201cas long as it didn\u2019t mean `can\u2019t be observed\u2019 \u201c.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I decided I don\u2019t know. To know what can or can\u2019t be observed, can or can\u2019t be described, is or isn\u2019t behavior, one has to operationalize any of those and decide how reliable the operationalization is. The exchange mostly of Glen, EricC, and Jon about what is or isn\u2019t behavior, often quite tedious, seemed like it took seriously the right caution. One could build comparable tedious harangues around \u201cobserve\u201d and \u201cdescribe\u201d, and perhaps must to resolve this.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">You might think you can say, as a matter of syntax, that \u201cof course it must be observable\u201d or else one is denying science. Physicists though for almost 200 years that that \u201cof course\u201d was unproblematic, that they had an operationalization that was both flexible enough to extend to more and more subjects, restrictive enough to have content, and expressible in equivalence to mathematical objects. Then they learned that the way they had assumed \u201cof course\u201d it could be done wasn\u2019t the correct formalization to be extended to quantum mechanics. That didn\u2019t mean that there wasn\u2019t a correct formalization, only that a different one was required, to subsume all that had worked before, and also extend where the former one couldn\u2019t go. The proof of inadequacy of the former was only demonstrated by putting one that was more correct in its place and exhibiting the difference (constructive); it seems like it would have been hopeless to anticipate, in the pre-quantum days, that the notion of observability was inadequate in the way it actually was, and even more hopeless to try to use a syntactic argument (formalist) either to assert its sufficiency or identify the specific defect that quantum mechanics would ultimately reveal. So when I ask \u201cwhat is the value of a formalist-style declaration that inner-ness can\u2019t be a real property, if one is not constructing something to show that to be the case\u201d, this is the style difference I am using as a reference to put that question.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I don\u2019t imagine that what we learned about definitions of observability in physics will have any direct relevance to whatever challenges the term may pose in psychology. The physics example is just a nice reminder of ways in which it can be very hard to decide when one is really saying something, and likewise an example that constructing the alternative sometimes seems to give the only perspective from which to see that there had formerly been a problem. <o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Because Pierce et seq. have done so much to try to be precise, practical, and useful in defining what science is, it allows me to be lazy, say \u201cyes I accept and defend all that\u201d, and then ask for an ultra-stripped-down abstraction of what science is then.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I may already have written this (senility), but my imagistic definition would be that science is the premise that mistakes aren\u2019t all sui generis, but that they have family resemblances, and that there are methods of practice that give one a better-than-random chance of recognizing that something may be a mistake even short of knowing what \u2018the' (or \u2018a better\u2019) answer is. I choose that framing in part because it is also the framing that formalizes the notion of error correction in computer science (so I have a mental image to refer to as an exemplar accompanied by some formal tools). One wants to identify the fact that a message contains an error, without having to know, for every message in advance, what it was supposed to have contained (else you didn\u2019t need to be sending messages in the first place). <o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I use the stripped down form in the hope of building a recursive tree of mutual refereeing, for all elements of scientific practice, now appealing to my mental image of Peter Gacs\u2019s error-correcting 1D cellular automaton, which does this by nesting correcting structure within correcting structure. Then I can look for every aspect of our practice that is trying to play this role in some way. A subset include:<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">1. Intersubjectivity to guard against individual delusion, ignorance, oversight, and similar hazards.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">2. Experimentation to guard against individual and group delusion etc, and to provide an additional active corrective against erroneous abduction from instances to classes.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">3. Adoption of formal language protocols:<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">3a. Definitions, with both operational (semantic) and syntactic (formalist) criteria for their scope and usage<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">3b. Rigid languages for argument, including logic but also less-formal standards of scientific argument, like insistence on null models and significance measures for statistical claims<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">There must be more, but the above are the ones I am mostly aware of in daily work.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">These are, to some extent, hierarchical, in that those further down the list are often taken to have a control-theoretic-like authority to tag those higher-up in the list as \u201cerrors\u201d. However, like any control system, the controller can also be wrong, and then its authority allows it to impose cascades of errors before being caught. Hence, I guess Kant thought that a Newtonian space x time geometry was so self-evident that it was part of the \u201ca priori\u201d to physical reasoning. It was a kind of more-definite-than-a-definition criterion in arguments. And it turned out not to describe the universe we live in, if one requires sufficient scope and precision. Likewise, the amount of a semantics that we can capture in syntactic rules for formal speech is likely to always be less than all the semantics we have, and even the validity of a syntax could be undermined (Godel). But most common in practice is that the syntax could be used as a kind of parlor entertainment, but the interpretation of it becomes either invalid or essentially useless when tokens that appeared in it turn out not to actually stand for anything. This is what happens when things we thought were operational definitions are shown by construction of their replacements to have been invalid, as with the classical physics notion of \u201cobservable\u201d, or the Newtonian convention of \u201cabsolute time\u201d.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I would like to give Pierce\u2019s \u201ctruth == reliable in the long run\u201d a modern gloss by regarding the above the way an engineer would in designing an error-correction system. The instances that are grouped in the above list are not just subroutines in a computer code, but embodied artifacts and events of practice by living-cognizing-social behavers and reasoners. And then decide from a post-Shannon vantage point what such a system can and cannot do. What notions of truth are constructible? How long is the long run, for any particular problem? What are the sample fluctuations in our state of understanding, as represented in placeholders for terms, rules, or other forms we adopt in the above list in any era, relative to asymptotes that we may or may not yet think we can identify? How have errors cascaded through that list as we have it now, and can we use those to learn something about the performance of this way of organizing science? (Dave Ackley of UNM did a lovely project on the statistics of library overhauls for Linux utilities some years ago, which is my mental model in framing that last question.) Formal tools to answer more interesting versions of questions like those.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">I mentioned some stuff about this in a post a month or two ago, and EricC included in a later post by way of reply that Pierce did a lot of statistics, so I understand I can\u2019t take anything here outside the playpen of a listserve until I have first read everything Pierce wrote, and everything others wrote about what Pierce wrote, etc. I suspect that, since Pierce lived before the publication of at least part of what is now understood about reliable error correction, large deviations, renormalization, automata theory, etc., there should be something new to say from a modern standpoint that Pierce didn\u2019t already know, but that assertion is formalist, and thus valueless. I have to do the exhaustive search through everything he actually did know, to point out something new that isn\u2019t already in it (constructivist). <o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Which is why I won\u2019t have time, resources, or ability to do it. So I will never know whether the things said above actually mean something.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Eric<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><p class="MsoNormal" style="margin: 0in 0in 12pt; font-size: 11pt; font-family: Calibri, sans-serif;"><o:p class=""> </o:p></p><blockquote style="margin-top: 5pt; margin-bottom: 5pt;" class="" type="cite"><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">On May 22, 2020, at 2:44 AM, Frank Wimberly <<a href="mailto:wimberly3@gmail.com" style="color: blue; text-decoration: underline;" class="">wimberly3@gmail.com</a>> wrote:<o:p class=""></o:p></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">The badly rendered part:<o:p class=""></o:p></div><div class=""><p class="MsoNormal" style="margin: 0in 0in 6pt; font-size: 11pt; font-family: Calibri, sans-serif;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><o:p class=""> </o:p></span></p><p class="MsoNormal" style="margin: 0in 0in 1.2pt 0.5in; font-size: 11pt; font-family: Calibri, sans-serif;"><span class="gmail-mwe-math-mathml-a11y"><span style="font-size: 12.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class="">{\displaystyle \left|{\sqrt {2}}-{\frac {a}{b}}\right|={\frac {|2b^{2}-a^{2}|}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{3b^{2}}},}</span></span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><img border="0" id="_x0000_i1026" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/641b9e87f603636755874eee6c5d85875f907483" alt="{\displaystyle \left|{\sqrt {2}}-{\frac {a}{b}}\right|={\frac {|2b^{2}-a^{2}|}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{3b^{2}}},}" class=""></span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><o:p class=""></o:p></span></p><div style="margin-top: 6pt; margin-bottom: 6pt;" class=""><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><o:p class=""> </o:p></span></div></div></div></div><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><div class=""><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">On Thu, May 21, 2020 at 11:30 AM Frank Wimberly <<a href="mailto:wimberly3@gmail.com" style="color: blue; text-decoration: underline;" class="">wimberly3@gmail.com</a>> wrote:<o:p class=""></o:p></div></div><blockquote style="border-style: none none none solid; border-left-width: 1pt; border-left-color: rgb(204, 204, 204); padding: 0in 0in 0in 6pt; margin: 5pt 0in 5pt 4.8pt;" class="" type="cite"><div class=""><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Clinicians often call that "being oppositional". <o:p class=""></o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">You say that I've known authorities. I was just talking to John Baez about my advisor Errett Bishop, often called the inventor of constructive mathematics. Here is a constructive proof, with no use of the excluded middle, of the irrationality of sqrt(2) that I found in Wikipedia. Apologies to those who don't care:<o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin-top: 6pt; margin-bottom: 6pt;" class=""><div style="margin: 0in 0in 0.0001pt 19.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class="">In a constructive approach, one distinguishes between on the one hand not being rational, and on the other hand being irrational (i.e., being quantifiably apart from every rational), the latter being a stronger property. Given positive integers </span><i class=""><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">a</span></i><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""> and </span><i class=""><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">b</span></i><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class="">, because the <a href="https://en.wikipedia.org/wiki/Singly_and_doubly_even#Definitions" target="_blank" title="Singly and doubly even" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(11, 0, 128);" class="">valuation</span></a> (i.e., highest power of 2 dividing a number) of </span><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">2<i class="">b</i><sup class="">2</sup></span><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""> is odd, while the valuation of </span><i class=""><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">a</span></i><sup class=""><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">2</span></sup><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""> is even, they must be distinct integers; thus </span><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">|2<i class="">b</i><sup class="">2</sup> \u2212 <i class="">a</i><sup class="">2</sup>| \u2265 1</span><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class="">. Then<sup id="gmail-m_9062086471579273668gmail-cite_ref-17" class=""><a href="https://en.wikipedia.org/wiki/Square_root_of_2#cite_note-17" target="_blank" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(11, 0, 128);" class="">[17]</span></a></sup></span><span style="font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><o:p class=""></o:p></span></div></div><p class="MsoNormal" style="margin: 0in 0in 1.2pt 0.5in; font-size: 11pt; font-family: Calibri, sans-serif;"><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class="">{\displaystyle \left|{\sqrt {2}}-{\frac {a}{b}}\right|={\frac {|2b^{2}-a^{2}|}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{3b^{2}}},}</span><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><img border="0" id="_x0000_i1025" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/641b9e87f603636755874eee6c5d85875f907483" alt="{\displaystyle \left|{\sqrt {2}}-{\frac {a}{b}}\right|={\frac {|2b^{2}-a^{2}|}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{b^{2}\left({\sqrt {2}}+{\frac {a}{b}}\right)}}\geq {\frac {1}{3b^{2}}},}" class=""></span><span style="font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><o:p class=""></o:p></span></p><div style="margin-top: 6pt; margin-bottom: 6pt;" class=""><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class="">the latter inequality being true because it is assumed that </span><i class=""><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">a</span></i><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">/<i class=""><span style="border: 1pt solid windowtext; padding: 0in;" class="">b</span></i> \u2264 3 \u2212 \u221a<span style="border: 1pt solid windowtext; padding: 0in;" class="">2</span></span><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""> (otherwise the quantitative apartness can be trivially established). This gives a lower bound of </span><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">1/<span style="border: 1pt solid windowtext; padding: 0in;" class="">3<i class="">b</i><sup class="">2</sup></span></span><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""> for the difference </span><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">|\u221a<span style="border: 1pt solid windowtext; padding: 0in;" class="">2</span> \u2212 <i class="">a</i>/<i class=""><span style="border: 1pt solid windowtext; padding: 0in;" class="">b</span></i>|</span><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class="">, yielding a direct proof of irrationality not relying on the <a href="https://en.wikipedia.org/wiki/Law_of_excluded_middle" target="_blank" title="Law of excluded middle" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(11, 0, 128);" class="">law of excluded middle</span></a>; see <a href="https://en.wikipedia.org/wiki/Errett_Bishop" target="_blank" title="Errett Bishop" style="color: blue; text-decoration: underline;" class=""><span style="color: rgb(11, 0, 128);" class="">Errett Bishop</span></a> (1985, p. 18). This proof constructively exhibits a discrepancy between </span><span style="font-size: 7.5pt; font-family: "Times New Roman", serif; color: rgb(32, 33, 34);" class="">\u221a<span style="border: 1pt solid windowtext; padding: 0in;" class="">2</span></span><span style="font-size: 7.5pt; font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""> and any rational.</span><span style="font-family: Arial, sans-serif; color: rgb(32, 33, 34);" class=""><o:p class=""></o:p></span></div></div></div></div><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div class=""><div class=""><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">On Thu, May 21, 2020 at 10:50 AM Steve Smith <<a href="mailto:sasmyth@swcp.com" target="_blank" style="color: blue; text-decoration: underline;" class="">sasmyth@swcp.com</a>> wrote:<o:p class=""></o:p></div></div><blockquote style="border-style: none none none solid; border-left-width: 1pt; border-left-color: rgb(204, 204, 204); padding: 0in 0in 0in 6pt; margin: 5pt 0in 5pt 4.8pt;" class="" type="cite"><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><br class="">On 5/21/20 10:32 AM, u\u01ddl\u0183<span class="Apple-converted-space"> </span><span style="font-family: "Segoe UI Emoji", sans-serif;" class="">\u2623</span><span class="Apple-converted-space"> </span>wrote:<br class="">> Don't be fooled. "The problem with communication is the illusion that it exists." Or ie I believe in a stronger form of privacy than you believe in.<br class="">I KNOW! I know just what you mean!<br class=""><br class=""><note to Frank... one of the species of animal in this group is "the<br class="">Contrarian", but you probably already guessed that><br class=""><br class=""><br class="">-- --- .-. . .-.. --- -.-. -.- ... -..-. .- .-. . -..-. - .... . -..-. . ... ... . -. - .. .- .-.. -..-. .-- --- .-. -.- . .-. ...<br class="">FRIAM Applied Complexity Group listserv<br class="">Zoom Fridays 9:30a-12p Mtn GMT-6 <span class="Apple-converted-space"> </span><a href="http://bit.ly/virtualfriam" target="_blank" style="color: blue; text-decoration: underline;" class="">bit.ly/virtualfriam</a><br class="">un/subscribe<span class="Apple-converted-space"> </span><a href="http://redfish.com/mailman/listinfo/friam_redfish.com" target="_blank" style="color: blue; text-decoration: underline;" class="">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br class="">archives:<span class="Apple-converted-space"> </span><a href="http://friam.471366.n2.nabble.com/FRIAM-COMIC" target="_blank" style="color: blue; text-decoration: underline;" class="">http://friam.471366.n2.nabble.com/<br class="">FRIAM-COMIC</a><span class="Apple-converted-space"> </span><a href="http://friam-comic.blogspot.com/" target="_blank" style="color: blue; text-decoration: underline;" class="">http://friam-comic.blogspot.com/</a><o:p class=""></o:p></div></blockquote></div><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><br clear="all" class=""><o:p class=""></o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">--<span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Frank Wimberly<br class="">140 Calle Ojo Feliz<br class="">Santa Fe, NM 87505<br class="">505 670-9918<o:p class=""></o:p></div></div></blockquote></div><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><br clear="all" class=""><o:p class=""></o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">--<span class="Apple-converted-space"> </span><o:p class=""></o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Frank Wimberly<br class="">140 Calle Ojo Feliz<br class="">Santa Fe, NM 87505<br class="">505 670-9918<o:p class=""></o:p></div></div><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">-- --- .-. . .-.. --- -.-. -.- ... -..-. .- .-. . -..-. - .... . -..-. . ... ... . -. - .. .- .-.. -..-. .-- --- .-. -.- . .-. ...<br class="">FRIAM Applied Complexity Group listserv<br class="">Zoom Fridays 9:30a-12p Mtn GMT-6 <a href="http://bit.ly/virtualfriam" style="color: blue; text-decoration: underline;" class="">bit.ly/virtualfriam</a><br class="">un/subscribe<span class="Apple-converted-space"> </span><a href="http://redfish.com/mailman/listinfo/friam_redfish.com" style="color: blue; text-decoration: underline;" class="">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br class="">archives:<span class="Apple-converted-space"> </span><a href="http://friam.471366.n2.nabble.com/" style="color: blue; text-decoration: underline;" class="">http://friam.471366.n2.nabble.com/</a><br class="">FRIAM-COMIC<span class="Apple-converted-space"> </span><a href="http://friam-comic.blogspot.com/" style="color: blue; text-decoration: underline;" class="">http://friam-comic.blogspot.com/</a><o:p class=""></o:p></div></div></blockquote></div><div style="margin: 0in 0in 0.0001pt 38.4pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div></div><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">-- --- .-. . .-.. --- -.-. -.- ... -..-. .- .-. . -..-. - .... . -..-. . ... ... . -. - .. .- .-.. -..-. .-- --- .-. -.- . .-. ...</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">FRIAM Applied Complexity Group listserv</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">Zoom Fridays 9:30a-12p Mtn GMT-6 </span><a href="http://bit.ly/virtualfriam" style="color: blue; text-decoration: underline; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">bit.ly/virtualfriam</a><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">un/subscribe<span class="Apple-converted-space"> </span></span><a href="http://redfish.com/mailman/listinfo/friam_redfish.com" style="color: blue; text-decoration: underline; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">archives:<span class="Apple-converted-space"> </span></span><a href="http://friam.471366.n2.nabble.com/" style="color: blue; text-decoration: underline; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">http://friam.471366.n2.nabble.com/</a><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">FRIAM-COMIC<span class="Apple-converted-space"> </span></span><a href="http://friam-comic.blogspot.com/" style="color: blue; text-decoration: underline; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">http://friam-comic.blogspot.com/</a><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""></span></div></blockquote></div><br class=""></div></div></body></html>