そうだ、$COQをそのままにしておくんだ