(no subject)

In 1752, the first eraser was put onto the end of a pencil.

In case anyone was curious.