The move from 'no set-theoretic axioms are cited' to 'no set-theoretic commitments are made' commits...