
<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <font face="FreeSerif">This is what the same passage looks like with

      the engine trivially fixed.</font><br>

  </body>

</html>