Add soundness test.