作者より：

ポイントをありがとうございます。
もう古いのかもしれませんが、クワインとかクリプキとかを入れていきたいです。