B = {0} P(s) = {p | p ∈ S ∧ p ⊆ s} C(b) = b’ ∀x, x is true B = B ∪ {max(B) + 1} ∀s ⊆ B, P(s) = P(s) ∪ {p | p ⊆ s}