added some options to trade soundness for performance when needed