Yup, there's another way to go (which can be proven with circle diagrams if you add a "universe" box with size 1 and prove a lemma about complements and independent events). That algorithm should have the same order as the original algorithm, but I suppose you might call it "cleaner".