Tと⊥、Aと∀