When working on a ship, every now and then a pencil mark is necessary on a visible surface. I know that sanding is an effective way to remove them but depending on the wood, the lead marks, however lightly applied can “sink” into the grain making sanding less effective. This makes sense given that pencil lead is often a viable shortcut to represent caulking. Is there a solvent or a technique that works in removing unwanted lead marks when sanding can’t, or shouldn’t, get deep enough to do the job?