> He just did.

He only mentioned it.

https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinctio...