You have reached the end of the main text of the document.

Please note that the first of the Appendices contains some further exposition.