Upon clicking a reference, its text pops-up immediately in a small window. In this way the reading of the document "flows".

Apart from the convenience of actually having access to full proof texts, the reader is relieved from a break of the reading caused by a change of page for each reference and a time-consuming connection on the net to fetch its text.

However, for editing purposes or for browsers without JavaScript, full proof texts are still accessible by clicking the hyperlink to proofs indicated on the sidebar of the article.

The references are two-way, i.e., clicking the hyperlink to proofs gives the full text of all references, and clicking on any reference from there returns to the position where the reference occurs in the main document.

JavaScript is an integrated feature of latest versions of Netscape Navigator or MS Internet Explorer. There is no need to download a plug-in. If you think you have a JavaScript compliant browser and the Proof window doesn't pop-up, make sure to enable JavaScript in your browser configuration.

Without JavaScript many other elements of this website will not function at their best.