<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 6, 2016 at 2:57 PM, Jon Roelofs <span dir="ltr"><<a href="mailto:jroelofs@gmail.com" target="_blank">jroelofs@gmail.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">On Fri, May 6, 2016 at 2:46 PM, Chandler Carruth <span dir="ltr"><<a href="mailto:chandlerc@gmail.com" target="_blank">chandlerc@gmail.com</a>></span> wrote:</span><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div>Are there concrete changes that would help clarify this in your mind?</div></div></div></blockquote><div><br></div></span><div>Sorry, I didn't have anything specific in mind. Wordsmithing is not my forté.</div><div><br></div><div>Lang's modus tollens "proof" in the other part of the thread really helped clarify this for me, so I think that along with the change you mention is probably enough.</div></div></div></div></blockquote><div><br></div><div>And to clarify a bit more, I'm not suggesting that said proof be added to the doc, rather stating that it helped my understanding :)</div><div><br></div><div><br></div><div>Jon</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div><br></div><div>Thanks again,</div><div><br></div><div>Jon</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><span><font color="#888888"><div><br></div><div>-Chandler</div></font></span></div></div>
</blockquote></div><br></div></div>
</blockquote></div><br></div></div>