PDF has been written. View the PDF.