Everything contained in Bounds3.tex