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).