\shipout\hbox{\smash{\hbox{\hbox{% line 8 images.mp
\Huge}\vrule width1sp}}}
\shipout\hbox{\smash{\hbox{\hbox{% line 18 images.mp
Rules of Inference}\vrule width1sp}}}
\shipout\hbox{\smash{\hbox{\hbox{% line 20 images.mp
Theorem 1}\vrule width1sp}}}
\shipout\hbox{\smash{\hbox{\hbox{% line 21 images.mp
Theorem 2}\vrule width1sp}}}
\shipout\hbox{\smash{\hbox{\hbox{% line 22 images.mp
Theorem 3}\vrule width1sp}}}
\shipout\hbox{\smash{\hbox{\hbox{% line 23 images.mp
Theorem 4}\vrule width1sp}}}
\shipout\hbox{\smash{\hbox{\hbox{% line 24 images.mp
{\bf\dots}}\vrule width1sp}}}
\shipout\hbox{\smash{\hbox{\hbox{% line 26 images.mp
Computing Machine}\vrule width1sp}}}
\end{document}
