Email Record: Gas-cooled reactors today.