How to Format a Proof Set Theory - Search