# Left Properness of Simplicial Commutative Algebras

A bit of light googling turns up several sources asserting that the model structure on simplicial commutative algebras over a ring is left proper (for example, 2.9 in Charles Rezk's paper Every homotopy theory of simplicial algebras admits a proper model). Does a proof of this fact occur anywhere in the literature?

-
I don't know where it "appears", though of course it is not hard to prove; it amounts to the fact that polynomial algebras are flat. –  Charles Rezk Sep 27 '12 at 2:48