<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Sep 3, 2020, at 2:16 PM, Brian Goetz <<a href="mailto:brian.goetz@oracle.com" class="">brian.goetz@oracle.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
  
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" class="">
  
  <div class="">
    <font size="+1" class=""><tt class="">That came up in the expression switch
        exploration.  The thinking then, which I think is still valid,
        that it is easier to understand the difference when
        default-totality is attached to the expression versions, because
        expressions _must_ be total and statements totally make sense to
        be partial.  <br class=""></tt></font></div></div></blockquote><br class=""></div><div>Which, many theorists would say, is an indictment of statements (both generally and in this specific instance).</div><div><br class=""></div></body></html>