University students generating examples in Real Analysis: where is the definition?