Mitigating radon