Checked through, spell-checked and formatted in Latex