You searched for proof by example