Text this: Lakatos' philosophy of mathematics