The condition (necessity) for the possibility of soundness (instantiating) is necessarily sound because true (ground of instantiating) in every possible world, which is what validity/necessity is.
…but you can and should separate out (and require) the two (soundness and validity).
I’m gonna (still) sit with that for a while and come back.