existentialはスコープ外の変数格納まで含めた話なので (edited)