Finished the first NLTL write-up.