A distinction that collapses the analytic/synthetic boundary into merely finite vs. infinite steps a...