How can one use examples to do proofs?