>>532
それは先頭に∀がついてる論理式を証明して、見てない箱を見ずに攻略したって主張してる箇所だろ