 Thus when refutation strikes, the scientist constructs a new theory, the next in the sequence, with the same hard core but a modified set of auxiliary hypotheses. How is she supposed to do this? Well, associated with the hard core, there is what Lakatos calls the positive heuristic of the programme.