[Iversonlab] Writing document