(言うほどエリュートは凸前提か?)