クリープのないコーシーなど、オリーヴオイルのないもこみちのようなもの。