-height: normal;"><img alt="Click here for suggested reading on this topic" border="0" src="/cycdoc/img/cb/book_icon.gif" width="30" />   Further reading on NATs</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;"><img alt="Try it yourself! Enter this into your copy of OpenCyc." border="0" src="/cycdoc/img/cb/keyboard_icon.gif" width="30" />    <span style="color: #660033;">Finish asserting by clicking on the "Cyclify" button and then clicking on the "Assert Formula