Pencil and Ink Mean Different Stages

Pencil marks were made at once, at the machine; ink came later, at the desk, on re-reading. On several sheets both layers are visible, and the order reads without any note. It is the simplest way to see that a text was corrected twice.