<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div style="font-family: 'times new roman', 'new york', times, serif;"><span style="font-family: Arial; font-size: 13px;">Eugen Leitl <eugen@leitl.org> wrote:</span></div><div style="font-family: Arial; color: rgb(0, 0, 0); font-size: 13px; background-color: transparent; font-style: normal;"><span style="font-size: 12pt; background-color: transparent;"><br></span></div><div style="color: rgb(0, 0, 0); font-size: 15.555556297302246px; background-color: transparent; font-style: normal;"><span style="font-size: 12pt;"><font face="Arial">> </font></span><span style="font-family: 'times new roman', 'new york', times, serif; font-size: 12pt;">You're late</span></div><div style="color: rgb(0, 0, 0); font-size: 15.555556297302246px; background-color: transparent; font-style: normal; font-family: Arial;"><span
style="font-family: 'times new roman', 'new york', times, serif; font-size: 12pt;"><br></span></div><div style="color: rgb(0, 0, 0); font-size: 15.555556297302246px; background-color: transparent; font-style: normal; font-family: 'times new roman', 'new york', times, serif;"><span style="font-size: 12pt; background-color: transparent;">You don't know that, and neither do I.</span></div><div style="font-family: 'times new roman', 'new york', times, serif; font-size: 12pt;"><div style="font-family: 'times new roman', 'new york', times, serif; font-size: 12pt;"><br> </div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_7_2_20_1365418249264_62">Gordon</div> </div> </div></body></html>