Started typsetting write-up