<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div><span class="Apple-style-span" style="color: rgb(69, 69, 69); font-family: 'Times New Roman', Times, serif; font-size: 17px; line-height: 19px; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; ">The nice thing about standards is that there are so many of them to choose from.</span></div><div><span class="Apple-style-span" style="color: rgb(69, 69, 69); font-family: 'Times New Roman', Times, serif; font-size: 17px; line-height: 19px; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; ">-Andrew S. Tanenbaum</span></div><div><span class="Apple-style-span" style="color: rgb(69, 69, 69); font-family: 'Times New Roman', Times, serif; font-size: 17px; line-height: 19px; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; "><br></span></div><div><span class="Apple-style-span" style="color: rgb(69, 69, 69); font-family: 'Times New Roman', Times, serif; font-size: 17px; line-height: 19px; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; ">sometimes we get to choose from multiple wall clock times as well. :)</span></div><div><span class="Apple-style-span" style="color: rgb(69, 69, 69); font-family: 'Times New Roman', Times, serif; font-size: 17px; line-height: 19px; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; ">-mld</span></div></div></body></html>