I⊥∀I⊥∀⊥

Alt account for Corridors