This should be documented (something like `Output signature of {!K1.MakeSeeded} and {!K2.MakeSeeded}.`).