Claim: These are not the droid you are looking for. Proof: let D1 := {d | d is one these droids} let D2 := {d | d is a droid you are looking for} D2 ∩ D1 = D1 ∩ D2 = ∅ Hence: These are not the droids you are looking for. qed