 For simplicity (since rational externalists are the only ones we care about), assume henceforth that “the externalist” is rational. Then, the presupposition charge is most readily appreciated via the following  approximation:[18]  When considering the reductio,