a pencil with a red tip