Putman's model-theoretic argument reconstructed by