Text this: Imre Lakatos :