Sedan han omnämt denmängd