a highlighter pen is for highlighting