OK, here's the definition of hard, as used in the shop: if it takes more than a few minutes to sharpen, or won't sharpen quickly on a diamond stone, it's hard. I sharpen, on average, about 10 knives a week, and have been doing this for eight years. Soft steel, by the definition I'm using, is something like 420 stainless that's used in Victorinox knives, and most kitchen cutlery. For the price, Buck is generaaly a good value, but 425M doesn't hold an edge compared to 440C or any of the tool steels. It's cheap, but it ain't good. So, I'm not saying it can't be sharpened-although I have customers that say so-but that it sharpens...slowly? For me, time is money, and the longer it takes to get an edge on a knife, the less I'm making on it. I've been able to sharpen ATS-34 tantos faster that I've done some recent Crosslocks.
------------------
A flute with no holes is not a flute, but a donut with no holes, is a danish.