An infinite regress of contingent causes, each explaining the next, constitutes a formally complete ...