University students generating examples in real analysis: Where is the definition?