Added first steps of new approach to soundness.