examples of proof and logic - Search