On second thoughts, it doesn't belong to the article.