If you put something through a softmax the output is (trivially) a valid PMF. Does that matter? You're not sampling from it.