  We construct a cdh-local motivic homotopy category SH_cdh(S) over an
arbitrary base scheme S, and show that there is a canonical equivalence between
SH_cdh(S) and SH(S). We learned this result from D.-C. Cisinski.
