閉ざされたモデルに自由なし、ローカル推論に主権あり