Pencils or leads or sharpeners