You are likely to find a highlighter pen in a desk drawer.