Putman's model-theoretic argument reconstructed door