Exploring Mathematical Definition Construction Processes