 But logic leaves us with a choice. The conjunction of the hard core plus the auxiliary hypotheses has to go, but we can retain either the hard core or the auxiliary hypotheses. What Lakatos calls the negative heuristic of the research programme, bids us retain the hard core but modify the auxiliary hypotheses: