Text this: Cabri's role in the task of proving within the activity of building part of an axiomatic system