Text this: Verifying Calculations - Forty Years On