Text this: The novice mathematician’s encounter with mathematical abstraction: tensions in concept-image construction and formalisation