proof by example on my talk