With the first clause of PIJ, one can present a relatively straightforward epistemic regress argument for foundationalism. That clause basically says that one cannot acquire justification for a belief by inferring it from an unjustified belief. It also seems that one cannot acquire justification for a belief by way of a circular, inferential justification—one cannot rely even in part on a proposition as a premise in an inference in support of that very proposition. We seem left with two options: