Thank you! That is an actionable example that would be helpful if it was in the actual article.
That example is in the article, but typeset differently.
That example is in the article, but typeset differently.