Correct :=, :\equiv (inspired by the HoTT book)
"Generalized natural numbers" instead of "completed natural numbers" (also not a very good term)
Structured the section on compactness principles
Defended lameness of one particular example
Special properties of constant sheaves of rings (a future reference)