Upgrade lemma on finite morphisms to finite = proper + affine
Skeleton section about curves
Tiny bit more in section on proper base change