Soundness check for new param