Self Proving Examples