document.write("<div class=\"quote\"> ");
document.write("<p> ");
document.write("The experience, judgment, and intuition of programmers who have ");
document.write("survived the rigors of testing are what make programs of the present ");
document.write("day useful, efficient, and (nearly) correct. Formal methods for ");
document.write("achieving correctness must support the intuitive judgment of ");
document.write("programmers, not replace it. ");
document.write("</p> ");
document.write("<p align=\"right\"> ");
document.write("<em>(C.A.R. Hoare)</em> ");
document.write("</p> ");
document.write("</div> ");