P5 assumes without justification that explanatory completeness requires a non-regressive foundation,...