From examples to proof: Purposes, strategies, and affordances of example use