クリプキ氏のツイートを日本語化してみました。[x]