  We consider a class of non-reduced valuation rings, known in the literature
as chain rings. We observe that the Grothendieck topology generated by the
Zariski topology and smooth blowup squares is exactly the topology which has
chain rings for its local rings, and that sheaves for this topology are
\emph{not} characterised by excision for smooth blowup squares.

Algebraic Geometry