Proofreading, annotations, definitions, and equations up to the end of section 2 in 24