スターバックスコーヒーではスターバックスコーヒーという名前の商品は売っていない。
モスバーガーではモスバーガーという名前の商品を売っている。
ここから対角線論法かラッセルのパラドックスに持ってけないだろうか。