Set Theory Proofs Intersection - Search