Lakatos's account of mathematical progress shows that 'beyond current techniques' repeatedly misiden...