Defining within a dynamic geometry environment: notes from the classroom