The use-mention distinction is a sensitive subject for me, so I would appreciate getting a warning next time you allude to it. Thanks!