Circular reasoning in presuppositional apologetics