Abduction and conjecturing in mathematics