Perhaps throw10920 thinks I should have just used the word because I was only quoting the output, so it wasn't really me saying it, but I chose otherwise. I don't need to read up on the use-mention distinction to decide whether to make such a choice.