added alternative formulations of soundness