first draft (prop3.tex)