4 ms·
https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinction https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinctio...
by amptorn 5y ago
https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinction https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinctio...