Use of examples in conjecturing and proving: an exploratory study