use-mention distinctions