Text this: Dynamic geometry, implication and abduction: a case study