>>561
それを正確に書いてみて
箱の中身を量化する∀が一番外側にあるでしょ
それは正しい定式化ではないよね