You're wrong. Gary Randall, in the February 2009 Randall Knife Society newsletter:
"The Randall shop is currently using 440B and 440C stainless, on most knives, except the smaller stainless models, in 3/16 blade stock, which are made of ATS-34. Randall forges the 440 blades as always. The ATS-34 knives are made by stock removal mostly, but a few may be forged if the blade needs to be wider. We have stopped ordering 1/8 inch ATS-34 which is used mainly on the Model 10 series. A high carbon 440B is about the same as a low carbon 440C steel, so depending on the carbon content of the order analysis, it may be either 440B or 440C."