Set-theoretic loading ...