Without an independent justification for impredicative set formation, the claim oversteps what const...