Well, Williams' tunes are probably ones he collected himself. And I don't know where the two cited are, or what else may be in his score, I'm not familiar with it.