∀x(箱(x)) → 全部の箱に性質が当てはまる、∃x(箱(x)) → 少なくとも一個はそういう箱がある、みたいな。述語論理って最初わけわかんないけど慣れると気持ちいいんだよな ⚡