Proper closed-point fibers do not imply properness
= Proper closed-point fibers do not imply properness
A finite-type morphism can have a proper fiber over every closed point without being proper. Properness controls compatible specialization in families, as expressed by the <valuative criterion for properness>, rather than only the individual closed fibers.