Extra soundness check for new param