
<html><body><style type="text/css">

<!--

div#d_1573481194053 p {font-family:; font-size:9.0pt; color:#1F497D}

-->

</style><div id='d_1573481194053' style="font-family:; font-size:9.0pt; color:#1F497D"><p dir="ltr" style="margin-top:0; margin-bottom:0;">lieven:</p>

<p dir="ltr" style="margin-top:0; margin-bottom:0;">> I think the second is a bit contradictory, </p>

<p dir="ltr" style="margin-top:0; margin-bottom:0;">> from a logical point of view.</p>

<br>

<p dir="ltr" style="margin-top:0; margin-bottom:0;">Yes, you're right. I noticed that too, while writing the initial message.</p>

<br>

<p dir="ltr" style="margin-top:0; margin-bottom:0;">But other than that, does this matter come down to just personal preference ?</p>

<br>

<p dir="ltr" style="margin-top:0; margin-bottom:0;">- bara'qa'</p>

<br>

</div><div class="quoted_separate_body"/><div id="quoted_header" style="clear:both;"></div><br type='attribution'><div id="quoted_body"></div></body></html>