Ik on the form A1 ∗· · ·∗Am. Similarly, the conclusion in the derivation has the form I ′ 1 ∧ · · · ∧ Ik ′ where I′ i are pure for i ∈ {1 (0)

by No TDB TBD, Month Year
Venue:k′ − 1} and where Ik ′ ≡ A′ 1 ∗ · · · ∗ A′ m . We show that each of I1, . . . , Ik−1 follow from I ′ 1 ∧ · · · ∧ I′ k ′ −1 and each of the Ai from I ′ 1 ∧ · · · ∧ I ′ k ′ −1 ∧ A′ i ; this