uh , and that was basically it. And  and we  so we wrote this and then ,  we found we were at six pages , and then we started  cutting furiously
Oops.
and  threw out half of the  material again , and uh played with the LaTeX stuff and
Made the font smaller and the narrows longer.