proof by contrast set theory - Search